Mercurial > urweb
comparison src/settings.sml @ 2192:fb113569519e
Make daemon mode support sharing of libraries across projects
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 22 Nov 2015 10:03:35 -0500 |
parents | 43393a4a66ce |
children | 6eae499c56cb |
comparison
equal
deleted
inserted
replaced
2191:849404a3af27 | 2192:fb113569519e |
---|---|
724 | 724 |
725 val minHeap = ref 0 | 725 val minHeap = ref 0 |
726 fun setMinHeap n = if n >= 0 then minHeap := n else raise Fail "Trying to set negative minHeap" | 726 fun setMinHeap n = if n >= 0 then minHeap := n else raise Fail "Trying to set negative minHeap" |
727 fun getMinHeap () = !minHeap | 727 fun getMinHeap () = !minHeap |
728 | 728 |
729 structure SS = BinarySetFn(struct | |
730 type ord_key = string | |
731 val compare = String.compare | |
732 end) | |
733 | |
734 val alwaysInline = ref SS.empty | 729 val alwaysInline = ref SS.empty |
735 fun addAlwaysInline s = alwaysInline := SS.add (!alwaysInline, s) | 730 fun addAlwaysInline s = alwaysInline := SS.add (!alwaysInline, s) |
736 fun checkAlwaysInline s = SS.member (!alwaysInline, s) | 731 fun checkAlwaysInline s = SS.member (!alwaysInline, s) |
737 | 732 |
738 val neverInline = ref SS.empty | 733 val neverInline = ref SS.empty |
906 | OS.SysErr (s, _) => | 901 | OS.SysErr (s, _) => |
907 ErrorMsg.error ("Error loading file " ^ LoadFromFilename ^ " (" ^ s ^ ")") | 902 ErrorMsg.error ("Error loading file " ^ LoadFromFilename ^ " (" ^ s ^ ")") |
908 | 903 |
909 fun listFiles () = map #2 (SM.listItems (!files)) | 904 fun listFiles () = map #2 (SM.listItems (!files)) |
910 | 905 |
906 fun reset () = | |
907 (urlPrefixFull := "/"; | |
908 urlPrefix := "/"; | |
909 urlPrePrefix := ""; | |
910 timeout := 0; | |
911 headers := []; | |
912 scripts := []; | |
913 clientToServer := clientToServerBase; | |
914 effectful := effectfulBase; | |
915 benign := benignBase; | |
916 client := clientBase; | |
917 server := serverBase; | |
918 jsFuncs := jsFuncsBase; | |
919 rewrites := []; | |
920 url := []; | |
921 mime := []; | |
922 request := []; | |
923 response := []; | |
924 env := []; | |
925 debug := false; | |
926 dbstring := NONE; | |
927 exe := NONE; | |
928 sql := NONE; | |
929 coreInline := 5; | |
930 monoInline := 5; | |
931 staticLinking := false; | |
932 deadlines := false; | |
933 sigFile := NONE; | |
934 safeGet := SS.empty; | |
935 onError := NONE; | |
936 limitsList := []; | |
937 minHeap := 0; | |
938 alwaysInline := SS.empty; | |
939 neverInline := SS.empty; | |
940 noXsrfProtection := SS.empty; | |
941 timeFormat := "%c"; | |
942 mangle := true; | |
943 html5 := false; | |
944 less := false; | |
945 noMimeFile := false; | |
946 mimeTypes := NONE; | |
947 files := SM.empty; | |
948 filePath := ".") | |
949 | |
911 end | 950 end |