Mercurial > urweb

comparison src/settings.sml @ 766:df09c95085f8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 12:10:43 -0400
parents a28982de5645
children 3b7e46790fa7
comparison
equal deleted inserted replaced
765:a28982de5645 766:df09c95085f8
28 structure Settings :> SETTINGS = struct 28 structure Settings :> SETTINGS = struct
29 29
30 val urlPrefix = ref "/" 30 val urlPrefix = ref "/"
31 val timeout = ref 0 31 val timeout = ref 0
32 val headers = ref ([] : string list) 32 val headers = ref ([] : string list)
33 val scripts = ref ([] : string list)
33 34
34 fun getUrlPrefix () = !urlPrefix 35 fun getUrlPrefix () = !urlPrefix
35 fun setUrlPrefix p = 36 fun setUrlPrefix p =
36 urlPrefix := (if p = "" then 37 urlPrefix := (if p = "" then
37 "/" 38 "/"
43 fun getTimeout () = !timeout 44 fun getTimeout () = !timeout
44 fun setTimeout n = timeout := n 45 fun setTimeout n = timeout := n
45 46
46 fun getHeaders () = !headers 47 fun getHeaders () = !headers
47 fun setHeaders ls = headers := ls 48 fun setHeaders ls = headers := ls
49
50 fun getScripts () = !scripts
51 fun setScripts ls = scripts := ls
48 52
49 type ffi = string * string 53 type ffi = string * string
50 54
51 structure K = struct 55 structure K = struct
52 type ord_key = ffi 56 type ord_key = ffi