diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-05-29 14:29:26 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-05-29 14:29:26 -0400 |
| commit | 5b421885fdfad728ab584ef15ec1873ec3bc2a05 (patch) | |
| tree | 02dc2d6caca935269cf3c6f523ad087c80d9c778 /src/cjr_print.sml | |
| parent | f92289880fd8457a080e150cb50f0fa2af3eff9c (diff) | |
getHeader and setHeader
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 009f8e45..f2455636 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -2986,6 +2986,12 @@ fun p_file env (ds, ps) = 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 @@ fun p_file env (ds, ps) = "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] |