diff options
author | 2009-03-24 15:35:46 -0400 | |
---|---|---|
committer | 2009-03-24 15:35:46 -0400 | |
commit | 7d66aadb65a25a97e2a28de797e1328f88498513 (patch) | |
tree | d793977e8a9a16b88dc9decb0fef10c82be4fa78 /src/cjr_print.sml | |
parent | 7eb964977ab596340f904388ced6a2dd6f39f943 (diff) |
Variable timeouts and client keep-alive
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index c5931616..79a43d19 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -1124,6 +1124,8 @@ fun urlify env t = urlify' IS.empty 0 t end +val timeout = ref 0 + fun p_exp' par env (e, loc) = case e of EPrim p => Prim.p_t_GCC p @@ -2688,6 +2690,10 @@ fun p_file env (ds, ps) = string (Int.toString (SM.foldl Int.max 0 fnums + 1)), string ";", newline, + string "int uw_timeout = ", + string (Int.toString (!timeout)), + string ";", + newline, newline, string "int uw_input_num(char *name) {", newline, |