[Ur] Parameter to specify a web-application's port, at compile-time and/or at run-time?

[Adam Chlipala]

On 08/20/2015 03:08 PM, Stefan Scott wrote:
> Question (1): Is there a parameter to allow specifying an Ur/Web app 
> to use some port other than 8080?

Run the app executable with the '-h' flag to see this option and others.

> 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)?

No, no disadvantage.