[Ur] running demo

[Adam Chlipala]

Gergely Buday wrote:
> I compiled the hello project and got hello.exe. Running that I was
> unable to test it via
>
> http://localhost:8080
>
> What is the correct url?
>    

It's:
     http://localhost:8080/Hello/main
because you want to call function 'main' of module 'Hello'.

> And, testing it via telnet gave me
>
> $ ./hello.exe
> [...]
> Segmentation fault (core dumped)
>    

I've reproduced this easily on my development machine and will hopefully 
patch the bug soon.  Thanks for reporting it.