aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Ron de Bruijn <rmbruijn@gmail.com>2011-11-17 17:14:44 +0100
committerGravatar Ron de Bruijn <rmbruijn@gmail.com>2011-11-17 17:14:44 +0100
commita6315d55fb647ed5c7027433dd7f34bb7c867916 (patch)
tree1767b18ac91762fa2eb942a9333e74e313064993 /src/settings.sml
parentbf66a540f165fe6bf285732bb203e03a33b190ec (diff)
Add read instance for time on the client
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/settings.sml b/src/settings.sml
index f6d653f1..e37d81f1 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -16,7 +16,7 @@
* 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
+ * 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
@@ -52,7 +52,7 @@ fun setUrlPrefix p =
("", prefix)
else
(String.substring (prefix, 0, n) ^ Substring.string befor, Substring.string after)
- end
+ end
val (prepre, prefix) =
if String.isPrefix "http://" prefix then
@@ -204,6 +204,7 @@ fun isServerOnly x = S.member (!server, x)
val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M.empty
val jsFuncsBase = basisM [("alert", "alert"),
+ ("stringToTime","stringToTime"),
("confirm", "confrm"),
("get_client_source", "sg"),
("current", "scur"),