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