summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-04 14:40:12 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-04 14:40:12 -0500
commit226fb11ff2da90b7b68dad1b29b9688f880a06a3 (patch)
tree86de944318bf3610af01258c455ceacfd450c307 /src/cjr_print.sml
parent87e2e610a69b268d10a22a7142a44a2c0afd4799 (diff)
timeFormat .urp directive
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index d51cc4ee..a5015041 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -3391,7 +3391,8 @@ fun p_file env (ds, ps) =
"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",
- case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics"],
+ case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics",
+ "\"" ^ String.toCString (Settings.getTimeFormat ()) ^ "\""],
string "};",
newline]
end