Mercurial > urweb

diff src/settings.sig @ 855:28e42b22424d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial implementation of protocols in Settings
author Adam Chlipala <adamc@hcoop.net>
date Tue, 23 Jun 2009 15:56:04 -0400
parents c125df6fabfc
children 86ec89baee01
line wrap: on
line diff
--- a/src/settings.sig	Tue Jun 23 15:40:35 2009 -0400
+++ b/src/settings.sig	Tue Jun 23 15:56:04 2009 -0400
@@ -85,4 +85,16 @@
     val getMimeRules : unit -> rule list
     val checkMime : string -> bool
 
+    (* Web protocols that generated programs may speak *)
+    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? *)
+    }
+    val addProtocol : protocol -> unit
+    val getProtocol : string -> protocol option
+
+    val setProtocol : protocol -> unit
+    val currentProtocol : unit -> protocol
+
 end