diff options
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 |