Mercurial > urweb
diff src/settings.sml @ 766:df09c95085f8
More FFI compiler options
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 02 May 2009 12:10:43 -0400 |
| parents | a28982de5645 |
| children | 3b7e46790fa7 |
line wrap: on
line diff
--- a/src/settings.sml Sat May 02 11:27:26 2009 -0400 +++ b/src/settings.sml Sat May 02 12:10:43 2009 -0400 @@ -30,6 +30,7 @@ val urlPrefix = ref "/" val timeout = ref 0 val headers = ref ([] : string list) +val scripts = ref ([] : string list) fun getUrlPrefix () = !urlPrefix fun setUrlPrefix p = @@ -46,6 +47,9 @@ fun getHeaders () = !headers fun setHeaders ls = headers := ls +fun getScripts () = !scripts +fun setScripts ls = scripts := ls + type ffi = string * string structure K = struct