Mercurial > urweb
diff src/cjr_print.sml @ 1799:3d922a28370b
Basis.getenv
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 02 Aug 2012 16:33:25 -0400 |
parents | 61c7eb1d3867 |
children | e6ff36097cc4 |
line wrap: on
line diff
--- a/src/cjr_print.sml Sun Jul 29 12:54:17 2012 -0400 +++ b/src/cjr_print.sml Thu Aug 02 16:33:25 2012 -0400 @@ -3380,6 +3380,9 @@ makeChecker ("uw_check_responseHeader", Settings.getResponseHeaderRules ()), newline, + + makeChecker ("uw_check_envVar", Settings.getEnvVarRules ()), + newline, string "extern void uw_sign(const char *in, char *out);", newline, @@ -3537,7 +3540,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_check_requestHeader", "uw_check_responseHeader", + "uw_input_num", "uw_cookie_sig", "uw_check_url", "uw_check_mime", "uw_check_requestHeader", "uw_check_responseHeader", "uw_check_envVar", case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics", "\"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\""], string "};",