comparison src/cjr_print.sml @ 1110:7fc4e0087e50

Proper 404 generation
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 Jan 2010 13:31:59 -0500
parents 631a3597c065
children e1d738870086
comparison
equal deleted inserted replaced
1109:631a3597c065 1110:7fc4e0087e50
2831 newline], 2831 newline],
2832 string "}", 2832 string "}",
2833 newline, 2833 newline,
2834 p_list_sep newline (fn x => x) pds', 2834 p_list_sep newline (fn x => x) pds',
2835 newline, 2835 newline,
2836 string "uw_error(ctx, FATAL, \"Unknown page\");", 2836 string "uw_clear_headers(ctx);",
2837 newline,
2838 string "uw_write_header(ctx, \"HTTP/1.1 404 Not Found\\r\\nContent-type: text/plain\\r\\n\");",
2839 newline,
2840 string "uw_write(ctx, \"Not Found\");",
2837 newline, 2841 newline,
2838 string "}", 2842 string "}",
2839 newline, 2843 newline,
2840 newline, 2844 newline,
2841 2845