Mercurial > urweb

comparison src/cjr_print.sml @ 1799:3d922a28370b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.getenv
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Aug 2012 16:33:25 -0400
parents 61c7eb1d3867
children e6ff36097cc4
comparison
equal deleted inserted replaced
1798:10a2cb93d175 1799:3d922a28370b
3378 makeChecker ("uw_check_requestHeader", Settings.getRequestHeaderRules ()), 3378 makeChecker ("uw_check_requestHeader", Settings.getRequestHeaderRules ()),
3379 newline, 3379 newline,
3380 3380
3381 makeChecker ("uw_check_responseHeader", Settings.getResponseHeaderRules ()), 3381 makeChecker ("uw_check_responseHeader", Settings.getResponseHeaderRules ()),
3382 newline, 3382 newline,
3383
3384 makeChecker ("uw_check_envVar", Settings.getEnvVarRules ()),
3385 newline,
3383 3386
3384 string "extern void uw_sign(const char *in, char *out);", 3387 string "extern void uw_sign(const char *in, char *out);",
3385 newline, 3388 newline,
3386 string "extern int uw_hash_blocksize;", 3389 string "extern int uw_hash_blocksize;",
3387 newline, 3390 newline,
3535 Int.toString (Settings.getTimeout ()), 3538 Int.toString (Settings.getTimeout ()),
3536 "\"" ^ Settings.getUrlPrefix () ^ "\"", 3539 "\"" ^ Settings.getUrlPrefix () ^ "\"",
3537 "uw_client_init", "uw_initializer", "uw_expunger", 3540 "uw_client_init", "uw_initializer", "uw_expunger",
3538 "uw_db_init", "uw_db_begin", "uw_db_commit", "uw_db_rollback", "uw_db_close", 3541 "uw_db_init", "uw_db_begin", "uw_db_commit", "uw_db_rollback", "uw_db_close",
3539 "uw_handle", 3542 "uw_handle",
3540 "uw_input_num", "uw_cookie_sig", "uw_check_url", "uw_check_mime", "uw_check_requestHeader", "uw_check_responseHeader", 3543 "uw_input_num", "uw_cookie_sig", "uw_check_url", "uw_check_mime", "uw_check_requestHeader", "uw_check_responseHeader", "uw_check_envVar",
3541 case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics", 3544 case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics",
3542 "\"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\""], 3545 "\"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\""],
3543 string "};", 3546 string "};",
3544 newline] 3547 newline]
3545 end 3548 end