Mercurial > urweb
comparison src/settings.sig @ 855:28e42b22424d
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 |
comparison
equal
deleted
inserted
replaced
| 854:158d980889ac | 855:28e42b22424d |
|---|---|
| 83 | 83 |
| 84 val setMimeRules : rule list -> unit | 84 val setMimeRules : rule list -> unit |
| 85 val getMimeRules : unit -> rule list | 85 val getMimeRules : unit -> rule list |
| 86 val checkMime : string -> bool | 86 val checkMime : string -> bool |
| 87 | 87 |
| 88 (* Web protocols that generated programs may speak *) | |
| 89 type protocol = { | |
| 90 name : string, (* Call it this on the command line *) | |
| 91 link : string, (* Pass these linker arguments *) | |
| 92 supportsPush : bool (* Is Ur/Web message-passing supported? *) | |
| 93 } | |
| 94 val addProtocol : protocol -> unit | |
| 95 val getProtocol : string -> protocol option | |
| 96 | |
| 97 val setProtocol : protocol -> unit | |
| 98 val currentProtocol : unit -> protocol | |
| 99 | |
| 88 end | 100 end |