Mercurial > urweb

diff src/cjr_print.sml @ 1629:438561303d02

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
timeFormat .urp directive
author Adam Chlipala <adam@chlipala.net>
date Sun, 04 Dec 2011 14:40:12 -0500
parents 218e2a9a53d0
children 8938f7b31573
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Dec 03 17:25:51 2011 -0500
+++ b/src/cjr_print.sml	Sun Dec 04 14:40:12 2011 -0500
@@ -3391,7 +3391,8 @@
                          "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