comparison 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
comparison
equal deleted inserted replaced
1628:3621f486ce72 1629:438561303d02
1322 val urlRules = "urlRules = " ^ urlRules ^ ";\n\n" 1322 val urlRules = "urlRules = " ^ urlRules ^ ";\n\n"
1323 1323
1324 val script = 1324 val script =
1325 if !foundJavaScript then 1325 if !foundJavaScript then
1326 lines ^ urlRules ^ String.concat (rev (#script st)) 1326 lines ^ urlRules ^ String.concat (rev (#script st))
1327 ^ "\ntime_format = \"" ^ String.toCString (Settings.getTimeFormat ()) ^ "\";\n"
1327 else 1328 else
1328 "" 1329 ""
1329 in 1330 in
1330 TextIO.closeIn inf; 1331 TextIO.closeIn inf;
1331 (DJavaScript script, ErrorMsg.dummySpan) :: ds 1332 (DJavaScript script, ErrorMsg.dummySpan) :: ds