From 32b2d196fc02ca4f9f87574e6da1ffa6c1ea12ab Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 23 Jun 2009 15:56:04 -0400
Subject: Initial implementation of protocols in Settings

---
 src/settings.sig | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index dd812ac4..bccb2ef7 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -85,4 +85,16 @@ signature SETTINGS = sig
     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
-- 
cgit v1.2.3