diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-06-28 11:49:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-28 11:49:04 -0400 |
| commit | b43844e26af1f616ffb38e1b61a3f431218a63cd (patch) | |
| tree | 9e83f2e78b98d6cc69ff3cb5449fe298920bf1aa /src/settings.sml | |
| parent | 9becbbf7fc3a279009a986ecf6442239e19a0cfe (diff) | |
Move http protocol into its own file
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/src/settings.sml b/src/settings.sml index e9f3e4b9..845683a7 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -261,13 +261,9 @@ fun getProtocol s = List.find (fn p => #name p = s) (!protocols) fun clibFile s = OS.Path.joinDirFile {dir = Config.libC, file = s} -val http = {name = "http", - link = clibFile "request.o" ^ " " ^ clibFile "queue.o" ^ " " ^ clibFile "http.o", - persistent = true} - -val () = addProtocol http - -val curProto = ref http +val curProto = ref {name = "", + link = "", + persistent = false} fun setProtocol name = case getProtocol name of NONE => raise Fail ("Unknown protocol " ^ name) |