Mercurial > urweb
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 |