diff options
author | 2009-04-30 17:15:14 -0400 | |
---|---|---|
committer | 2009-04-30 17:15:14 -0400 | |
commit | 2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 (patch) | |
tree | 4be9b76a5e655b9f28be47710cc47e600a369a14 /src/settings.sml | |
parent | db2f1f208afef9110d8a5796a2325928a92b62cc (diff) |
C FFI compiler options
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml new file mode 100644 index 00000000..1bc14776 --- /dev/null +++ b/src/settings.sml @@ -0,0 +1,49 @@ +(* Copyright (c) 2008-2009, Adam Chlipala + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are met: + * + * - Redistributions of source code must retain the above copyright notice, + * this list of conditions and the following disclaimer. + * - Redistributions in binary form must reproduce the above copyright notice, + * this list of conditions and the following disclaimer in the documentation + * and/or other materials provided with the distribution. + * - The names of contributors may not be used to endorse or promote products + * derived from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + *) + +structure Settings :> SETTINGS = struct + +val urlPrefix = ref "/" +val timeout = ref 0 +val headers = ref ([] : string list) + +fun getUrlPrefix () = !urlPrefix +fun setUrlPrefix p = + urlPrefix := (if p = "" then + "/" + else if String.sub (p, size p - 1) <> #"/" then + p ^ "/" + else + p) + +fun getTimeout () = !timeout +fun setTimeout n = timeout := n + +fun getHeaders () = !headers +fun setHeaders ls = headers := ls + +end |