From 5952e97040dd9331865368bb726b8059dbedbc5a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 28 Jun 2009 11:49:04 -0400 Subject: Move http protocol into its own file --- src/settings.sml | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) (limited to 'src/settings.sml') 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) -- cgit v1.2.3