diff options
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 |