diff src/settings.sig @ 858:346cf1908a17

Avoid using prepared statements for non-persistent protocols
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Jun 2009 10:50:45 -0400
parents 3d2f6cb6d54a
children 03e7f111fe99
line wrap: on
line diff
--- a/src/settings.sig	Sat Jun 27 10:30:51 2009 -0400
+++ b/src/settings.sig	Sat Jun 27 10:50:45 2009 -0400
@@ -89,7 +89,7 @@
     type protocol = {
         name : string,      (* Call it this on the command line *)
         link : string,      (* Pass these linker arguments *)
-        supportsPush : bool (* Is Ur/Web message-passing supported? *)
+        persistent : bool   (* Multiple requests per process? *)
     }
     val addProtocol : protocol -> unit
     val getProtocol : string -> protocol option
@@ -99,4 +99,6 @@
     val setDebug : bool -> unit
     val getDebug : unit -> bool
 
+    val clibFile : string -> string
+
 end