diff src/cjr_print.sml @ 1748:95dd9f427bb2

Fix from Edward Yang to generation of 404 errors in FastCGI
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 12:37:43 -0400
parents c414850f206f
children 61c7eb1d3867
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat May 05 19:57:54 2012 -0400
+++ b/src/cjr_print.sml	Sun May 06 12:37:43 2012 -0400
@@ -3433,7 +3433,9 @@
              newline,
              string "uw_clear_headers(ctx);",
              newline,
-             string "uw_write_header(ctx, \"HTTP/1.1 404 Not Found\\r\\nContent-type: text/plain\\r\\n\");",
+             string "uw_write_header(ctx, uw_supports_direct_status ? \"HTTP/1.1 404 Not Found\\r\\n\" : \"Status: 404 Not Found\\r\\n\");",
+             newline,
+             string "uw_write_header(ctx, \"Content-type: text/plain\\r\\n\");",
              newline,
              string "uw_write(ctx, \"Not Found\");",
              newline,