comparison 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
comparison
equal deleted inserted replaced
1747:9b54fbe1efdb 1748:95dd9f427bb2
3431 newline, 3431 newline,
3432 p_list_sep newline (fn x => x) pds', 3432 p_list_sep newline (fn x => x) pds',
3433 newline, 3433 newline,
3434 string "uw_clear_headers(ctx);", 3434 string "uw_clear_headers(ctx);",
3435 newline, 3435 newline,
3436 string "uw_write_header(ctx, \"HTTP/1.1 404 Not Found\\r\\nContent-type: text/plain\\r\\n\");", 3436 string "uw_write_header(ctx, uw_supports_direct_status ? \"HTTP/1.1 404 Not Found\\r\\n\" : \"Status: 404 Not Found\\r\\n\");",
3437 newline,
3438 string "uw_write_header(ctx, \"Content-type: text/plain\\r\\n\");",
3437 newline, 3439 newline,
3438 string "uw_write(ctx, \"Not Found\");", 3440 string "uw_write(ctx, \"Not Found\");",
3439 newline, 3441 newline,
3440 string "}", 3442 string "}",
3441 newline, 3443 newline,