Question (1): Is there a parameter to allow specifying an Ur/Web app to use
some port other than 8080?

This could perhaps be done in 2 ways:

(1) a compile-type parameter - eg:

  $ urweb myProgram --port 8081

and/or:

(2) a run-time parameter - eg:

  $ ./myProgram.exe --port 8081

Question (2): There would not be any *disadvantage* of having multiple
Ur/Web apps running at the same time on one machine (each listening on a
different port)?

Thanks!

###
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to