Mercurial > urweb

comparison src/cjr_print.sml @ 673:a8effb6159c2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Variable timeouts and client keep-alive
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Mar 2009 15:35:46 -0400
parents a93d5324f400
children 5ff1ff38e2db
comparison
equal deleted inserted replaced
672:df6eb58de040 673:a8effb6159c2
1121 | _ => (ErrorMsg.errorAt loc "Unable to choose a URL encoding function"; 1121 | _ => (ErrorMsg.errorAt loc "Unable to choose a URL encoding function";
1122 space) 1122 space)
1123 in 1123 in
1124 urlify' IS.empty 0 t 1124 urlify' IS.empty 0 t
1125 end 1125 end
1126
1127 val timeout = ref 0
1126 1128
1127 fun p_exp' par env (e, loc) = 1129 fun p_exp' par env (e, loc) =
1128 case e of 1130 case e of
1129 EPrim p => Prim.p_t_GCC p 1131 EPrim p => Prim.p_t_GCC p
1130 | ERel n => p_rel env n 1132 | ERel n => p_rel env n
2686 newline, 2688 newline,
2687 string "int uw_inputs_len = ", 2689 string "int uw_inputs_len = ",
2688 string (Int.toString (SM.foldl Int.max 0 fnums + 1)), 2690 string (Int.toString (SM.foldl Int.max 0 fnums + 1)),
2689 string ";", 2691 string ";",
2690 newline, 2692 newline,
2693 string "int uw_timeout = ",
2694 string (Int.toString (!timeout)),
2695 string ";",
2696 newline,
2691 newline, 2697 newline,
2692 string "int uw_input_num(char *name) {", 2698 string "int uw_input_num(char *name) {",
2693 newline, 2699 newline,
2694 makeSwitch (fnums, 0), 2700 makeSwitch (fnums, 0),
2695 string "}", 2701 string "}",