diff src/jscomp.sml @ 1629:438561303d02

timeFormat .urp directive
author Adam Chlipala <adam@chlipala.net>
date Sun, 04 Dec 2011 14:40:12 -0500
parents 43f22a8f76cc
children 3e7c7e200713
line wrap: on
line diff
--- a/src/jscomp.sml	Sat Dec 03 17:25:51 2011 -0500
+++ b/src/jscomp.sml	Sun Dec 04 14:40:12 2011 -0500
@@ -1324,6 +1324,7 @@
         val script =
             if !foundJavaScript then
                 lines ^ urlRules ^ String.concat (rev (#script st))
+                ^ "\ntime_format = \"" ^ String.toCString (Settings.getTimeFormat ()) ^ "\";\n"
             else
                 ""
     in