[Ur] Odd bug with error pages

Adam Chlipala adamc at csail.mit.edu
Thu Oct 10 18:32:04 EDT 2013


I've pushed a small change that might fix this problem.  At least, 
everything looks fine to me.  Does it work for you, too?

On 10/09/2013 06:34 PM, Austin Seipp wrote:
> Consider the following test case I reduced:
>
> https://gist.github.com/thoughtpolice/6909510
>
> When compiled and run:
>
> $ git clone https://gist.github.com/6909510.git /tmp/urweb-bug
> $ cd /tmp/urweb-bug
> $ urweb test&&  ./test.exe
>
> Note that the resulting page at /Test/main does error, but there is an
> odd extra character in front of the© symbol that is put out by
> the error page.
>
> On my machine, this character is 'Â'
>
> If the© is removed then the error page works as expected with no
> extra output. I imagine it might look slightly different to you as I'd
> guess this is some kind of subtle bug in the page rendering (perhaps a
> corruption somewhere.) I'd take more time to track it down but I
> haven't had much time.
>    



More information about the Ur mailing list