diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-06-27 10:50:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-27 10:50:45 -0400 |
| commit | 756283988dd7d7235c228b3b99e6c7f6c73bf122 (patch) | |
| tree | ce2e6f57c5abbacefb996b3bae88a1bf2802dc1e /src/settings.sig | |
| parent | 35cfed265b313d645c850f1ed24f6e8f937a410c (diff) | |
Avoid using prepared statements for non-persistent protocols
Diffstat (limited to 'src/settings.sig')
| -rw-r--r-- | src/settings.sig | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/settings.sig b/src/settings.sig index 919fdf42..8259e519 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -89,7 +89,7 @@ signature SETTINGS = sig 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 @@ signature SETTINGS = sig val setDebug : bool -> unit val getDebug : unit -> bool + val clibFile : string -> string + end |