From f1a5c194580729f1db702d9eb28d3af414ea0a7e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 24 Mar 2009 15:35:46 -0400
Subject: Variable timeouts and client keep-alive

---
 src/cjr_print.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/cjr_print.sig')

diff --git a/src/cjr_print.sig b/src/cjr_print.sig
index baef005e..d7fb21a0 100644
--- a/src/cjr_print.sig
+++ b/src/cjr_print.sig
@@ -36,4 +36,6 @@ signature CJR_PRINT = sig
     val p_sql : CjrEnv.env -> Cjr.file Print.printer
 
     val debug : bool ref
+
+    val timeout : int ref
 end
-- 
cgit v1.2.3