[Ur] 500 Internal Server Error on cached page

[Adam Chlipala]

I've made a tiny change which should fix this problem, in the public 
Mercurial repository for Ur/Web.  Does it work now?

On 03/04/2013 10:13 PM, Istvan Chung wrote:
> Setup: Apache server + -protocol cgi
>
> I found today that when the generated CGI script serves the generated
> Javascript file which goes along with any page which uses Javascript, it
> works fine unless the browser has cached it, in which case the server
> throws 500 Internal Server Error: (from the server logs):
>
> [Mon Mar 04 21:59:44 2013] [error] [client 127.0.0.1] malformed header
> from script. Bad header=HTTP/1.1 304 Not Modified: appname.exe, referer:
> http://localhost:8080/cgi-bin/appname.exe/Appname/main
>
> Implying that the CGI page is trying to tell the client that the
> client's cached version is correct, but is generating the headers
> incorrectly. Has anyone seen this problem before/can replicate it?
>