diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-08-02 16:33:25 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-08-02 16:33:25 -0400 |
commit | 342c17de79e7624affa866ee9eab9027453ae99e (patch) | |
tree | 201d14d77f7f944545809bff02ae45fc826bb7e7 /src/cjr_print.sml | |
parent | 6a1cc9086991449cf027277849cfe69450be5876 (diff) |
Basis.getenv
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index c7be5526..c1198ccf 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -3380,6 +3380,9 @@ fun p_file env (ds, ps) = 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 @@ 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_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 "};", |