Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/cjr_print.sml	Tue Mar 24 15:05:28 2009 -0400
+++ b/src/cjr_print.sml	Tue Mar 24 15:35:46 2009 -0400
@@ -1124,6 +1124,8 @@
         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 @@
              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,