Mercurial > urweb
diff src/cjr_print.sml @ 1465:2f5fd248588d
getHeader and setHeader
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 29 May 2011 14:29:26 -0400 |
| parents | d674fb9499c4 |
| children | a10d080123ec |
line wrap: on
line diff
--- a/src/cjr_print.sml Sun May 29 13:31:53 2011 -0400 +++ b/src/cjr_print.sml Sun May 29 14:29:26 2011 -0400 @@ -2986,6 +2986,12 @@ makeChecker ("uw_check_mime", Settings.getMimeRules ()), newline, + + makeChecker ("uw_check_requestHeader", Settings.getRequestHeaderRules ()), + newline, + + makeChecker ("uw_check_responseHeader", Settings.getResponseHeaderRules ()), + newline, string "extern void uw_sign(const char *in, char *out);", newline, @@ -3122,7 +3128,7 @@ "uw_client_init", "uw_initializer", "uw_expunger", "uw_db_init", "uw_db_begin", "uw_db_commit", "uw_db_rollback", "uw_db_close", "uw_handle", - "uw_input_num", "uw_cookie_sig", "uw_check_url", "uw_check_mime", + "uw_input_num", "uw_cookie_sig", "uw_check_url", "uw_check_mime", "uw_check_requestHeader", "uw_check_responseHeader", case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics"], string "};", newline]