Mercurial > urweb
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, _) = |