[Ur] Standalone executable/binary runnable from command prompt

[Adam Chlipala]

Good catch!  Apparently no one has tested the 'static' protocol in a 
while. :)

I've pushed a fix to the public Mercurial repo.

On 05/03/2015 09:25 AM, mozert1 mozert1 wrote:
> And doing
> urweb -protocol static hello
> ./hello.exe /Hello/main
>
> on the file
> /urweb/demo/hello.urp
>
> output
> Segmentation fault (core dumped)
>
>   ... ??