Mercurial > urweb
diff src/cjr_print.sml @ 2197:6eae499c56cb
New .urp directive: jsFile
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 05 Dec 2015 12:04:06 -0500 |
parents | f55b0e45422f |
children | 6fb9232ade99 |
line wrap: on
line diff
--- a/src/cjr_print.sml Fri Nov 27 15:28:12 2015 -0500 +++ b/src/cjr_print.sml Sat Dec 05 12:04:06 2015 -0500 @@ -2944,17 +2944,10 @@ file = "app." ^ timestamp ^ ".js"} val allScripts = - let - val scripts = - "<script type=\\\"text/javascript\\\" src=\\\"" - ^ app_js - ^ "\\\"></script>\\n" - in - foldl (fn (x, scripts) => - scripts - ^ "<script type=\\\"text/javascript\\\" src=\\\"" ^ x ^ "\\\"></script>\\n") - scripts (Settings.getScripts ()) - end + foldl (fn (x, scripts) => + scripts + ^ "<script type=\\\"text/javascript\\\" src=\\\"" ^ x ^ "\\\"></script>\\n") + "" (Settings.getScripts () @ [app_js]) fun p_page (ek, s, n, ts, ran, side, dbmode, tellSig) = let