Mercurial > urweb
diff src/jscomp.sml @ 2197:6eae499c56cb
New .urp directive: jsFile
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 05 Dec 2015 12:04:06 -0500 |
| parents | 9e9c915f554c |
| children | 6fb9232ade99 |
line wrap: on
line diff
--- a/src/jscomp.sml Fri Nov 27 15:28:12 2015 -0500 +++ b/src/jscomp.sml Sat Dec 05 12:04:06 2015 -0500 @@ -1358,8 +1358,9 @@ val script = if !foundJavaScript then - lines ^ urlRules ^ String.concat (rev (#script st)) - ^ "\ntime_format = \"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\";\n" + String.concatWith "" ((lines ^ urlRules ^ String.concat (rev (#script st)) + ^ "\ntime_format = \"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\";\n") + :: map (fn r => "\n// " ^ #Filename r ^ "\n\n" ^ #Content r ^ "\n") (Settings.listJsFiles ())) else "" in