Mercurial > urweb

comparison src/cjr_print.sml @ 1465:2f5fd248588d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
getHeader and setHeader
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 May 2011 14:29:26 -0400
parents d674fb9499c4
children a10d080123ec
comparison
equal deleted inserted replaced
1464:969b90b1f2f9 1465:2f5fd248588d
2984 makeChecker ("uw_check_url", Settings.getUrlRules ()), 2984 makeChecker ("uw_check_url", Settings.getUrlRules ()),
2985 newline, 2985 newline,
2986 2986
2987 makeChecker ("uw_check_mime", Settings.getMimeRules ()), 2987 makeChecker ("uw_check_mime", Settings.getMimeRules ()),
2988 newline, 2988 newline,
2989
2990 makeChecker ("uw_check_requestHeader", Settings.getRequestHeaderRules ()),
2991 newline,
2992
2993 makeChecker ("uw_check_responseHeader", Settings.getResponseHeaderRules ()),
2994 newline,
2989 2995
2990 string "extern void uw_sign(const char *in, char *out);", 2996 string "extern void uw_sign(const char *in, char *out);",
2991 newline, 2997 newline,
2992 string "extern int uw_hash_blocksize;", 2998 string "extern int uw_hash_blocksize;",
2993 newline, 2999 newline,
3120 Int.toString (Settings.getTimeout ()), 3126 Int.toString (Settings.getTimeout ()),
3121 "\"" ^ Settings.getUrlPrefix () ^ "\"", 3127 "\"" ^ Settings.getUrlPrefix () ^ "\"",
3122 "uw_client_init", "uw_initializer", "uw_expunger", 3128 "uw_client_init", "uw_initializer", "uw_expunger",
3123 "uw_db_init", "uw_db_begin", "uw_db_commit", "uw_db_rollback", "uw_db_close", 3129 "uw_db_init", "uw_db_begin", "uw_db_commit", "uw_db_rollback", "uw_db_close",
3124 "uw_handle", 3130 "uw_handle",
3125 "uw_input_num", "uw_cookie_sig", "uw_check_url", "uw_check_mime", 3131 "uw_input_num", "uw_cookie_sig", "uw_check_url", "uw_check_mime", "uw_check_requestHeader", "uw_check_responseHeader",
3126 case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics"], 3132 case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics"],
3127 string "};", 3133 string "};",
3128 newline] 3134 newline]
3129 end 3135 end
3130 3136