diff options
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/settings.sml b/src/settings.sml index a020f373..36521799 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -252,7 +252,7 @@ val checkMime = check type protocol = { name : string, link : string, - supportsPush : bool + persistent : bool } val protocols = ref ([] : protocol list) fun addProtocol p = protocols := p :: !protocols @@ -263,12 +263,9 @@ fun clibFile s = OS.Path.joinDirFile {dir = Config.libC, val http = {name = "http", link = clibFile "request.o" ^ " " ^ clibFile "http.o", - supportsPush = true} + persistent = true} val () = addProtocol http -val () = addProtocol {name = "cgi", - link = clibFile "request.o" ^ " " ^ clibFile "cgi.o", - supportsPush = false} val curProto = ref http fun setProtocol name = |