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 | a4717bf85434747f0e96aa11030ce0869db2706c (patch) | |
| tree | 5c08087fd98403edb3500ac4399ddece25c667ad /src/settings.sig | |
| parent | ca88628fbeb6fe8cadf9d7e12e5faccf2a7da96b (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 |