comparison src/cjr_print.sml @ 1629:438561303d02

timeFormat .urp directive
author Adam Chlipala <adam@chlipala.net>
date Sun, 04 Dec 2011 14:40:12 -0500
parents 218e2a9a53d0
children 8938f7b31573
comparison
equal deleted inserted replaced
1628:3621f486ce72 1629:438561303d02
3389 "\"" ^ Settings.getUrlPrefix () ^ "\"", 3389 "\"" ^ Settings.getUrlPrefix () ^ "\"",
3390 "uw_client_init", "uw_initializer", "uw_expunger", 3390 "uw_client_init", "uw_initializer", "uw_expunger",
3391 "uw_db_init", "uw_db_begin", "uw_db_commit", "uw_db_rollback", "uw_db_close", 3391 "uw_db_init", "uw_db_begin", "uw_db_commit", "uw_db_rollback", "uw_db_close",
3392 "uw_handle", 3392 "uw_handle",
3393 "uw_input_num", "uw_cookie_sig", "uw_check_url", "uw_check_mime", "uw_check_requestHeader", "uw_check_responseHeader", 3393 "uw_input_num", "uw_cookie_sig", "uw_check_url", "uw_check_mime", "uw_check_requestHeader", "uw_check_responseHeader",
3394 case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics"], 3394 case onError of NONE => "NULL" | SOME _ => "uw_onError", "my_periodics",
3395 "\"" ^ String.toCString (Settings.getTimeFormat ()) ^ "\""],
3395 string "};", 3396 string "};",
3396 newline] 3397 newline]
3397 end 3398 end
3398 3399
3399 fun p_sql env (ds, _) = 3400 fun p_sql env (ds, _) =