diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-06-23 15:56:04 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-23 15:56:04 -0400 |
commit | 32b2d196fc02ca4f9f87574e6da1ffa6c1ea12ab (patch) | |
tree | 5c08087fd98403edb3500ac4399ddece25c667ad /src/settings.sig | |
parent | 1109a4e1c8b10a8f524c1406a4db98eff55b435c (diff) |
Initial implementation of protocols in Settings
Diffstat (limited to 'src/settings.sig')
-rw-r--r-- | src/settings.sig | 12 |
1 files changed, 12 insertions, 0 deletions
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 |