[Ur] Demo app not responding to urls.. other compiled programs work

Adam Chlipala adamc at impredicative.com
Fri Oct 23 17:37:51 EDT 2009


Daniel Patterson wrote:
> In both the released and the current hg repo, after getting the demo to
> compile (required getting rid of the -Werror flags in
> src/compiler.sml), it runs but doesnt respond to the urls that are
> supposed to work:
> http://localhost:8080/Demo/Demo/main etc.
>
> All give "Fatal error: Unknown page" in the web browser and
> corresponding:
> Serving URI /Demo/Hello/main....
> Fatal error: Unknown page
>   

Which command line did you use to build the demo executable?  Following 
the directions in the online tutorial demo works fine for me.

> Also, should I be concerned about the warnings that I had to
> disable to get things to compile at all?
>   

Yes.  What warnings were causing trouble?  What platform are you using?



More information about the Ur mailing list