Mercurial > urweb

comparison src/settings.sig @ 856:86ec89baee01

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cgi protocol
author Adam Chlipala <adamc@hcoop.net>
date Tue, 23 Jun 2009 17:59:23 -0400
parents 28e42b22424d
children 3d2f6cb6d54a
comparison
equal deleted inserted replaced
855:28e42b22424d 856:86ec89baee01
91 link : string, (* Pass these linker arguments *) 91 link : string, (* Pass these linker arguments *)
92 supportsPush : bool (* Is Ur/Web message-passing supported? *) 92 supportsPush : bool (* Is Ur/Web message-passing supported? *)
93 } 93 }
94 val addProtocol : protocol -> unit 94 val addProtocol : protocol -> unit
95 val getProtocol : string -> protocol option 95 val getProtocol : string -> protocol option
96 96 val setProtocol : string -> unit
97 val setProtocol : protocol -> unit
98 val currentProtocol : unit -> protocol 97 val currentProtocol : unit -> protocol
99 98
100 end 99 end