summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-17 13:10:23 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-17 13:10:23 -0500
commit72bd165bd051d5d51cd04f05e0bd7c85ca670db2 (patch)
treed66971cb868f768b134688c152b281c7850c46e2 /src/settings.sml
parent566143a9c881c9e506c79af3f3cc39abebc37d8f (diff)
Allow .urp libraries to set prefix
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 02fd3c10..b421f38a 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -27,12 +27,14 @@
structure Settings :> SETTINGS = struct
+val urlPrefixFull = ref "/"
val urlPrefix = ref "/"
val urlPrePrefix = ref ""
val timeout = ref 0
val headers = ref ([] : string list)
val scripts = ref ([] : string list)
+fun getUrlPrefixFull () = !urlPrefixFull
fun getUrlPrefix () = !urlPrefix
fun getUrlPrePrefix () = !urlPrePrefix
fun setUrlPrefix p =
@@ -62,6 +64,7 @@ fun setUrlPrefix p =
else
("", prefix)
in
+ urlPrefixFull := p;
urlPrePrefix := prepre;
urlPrefix := prefix
end