Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
2196:100352dbae36 | 2197:6eae499c56cb |
---|---|
2942 val timestamp = LargeInt.toString (Time.toMilliseconds (Time.now ())) | 2942 val timestamp = LargeInt.toString (Time.toMilliseconds (Time.now ())) |
2943 val app_js = OS.Path.joinDirFile {dir = Settings.getUrlPrefix (), | 2943 val app_js = OS.Path.joinDirFile {dir = Settings.getUrlPrefix (), |
2944 file = "app." ^ timestamp ^ ".js"} | 2944 file = "app." ^ timestamp ^ ".js"} |
2945 | 2945 |
2946 val allScripts = | 2946 val allScripts = |
2947 let | 2947 foldl (fn (x, scripts) => |
2948 val scripts = | 2948 scripts |
2949 "<script type=\\\"text/javascript\\\" src=\\\"" | 2949 ^ "<script type=\\\"text/javascript\\\" src=\\\"" ^ x ^ "\\\"></script>\\n") |
2950 ^ app_js | 2950 "" (Settings.getScripts () @ [app_js]) |
2951 ^ "\\\"></script>\\n" | |
2952 in | |
2953 foldl (fn (x, scripts) => | |
2954 scripts | |
2955 ^ "<script type=\\\"text/javascript\\\" src=\\\"" ^ x ^ "\\\"></script>\\n") | |
2956 scripts (Settings.getScripts ()) | |
2957 end | |
2958 | 2951 |
2959 fun p_page (ek, s, n, ts, ran, side, dbmode, tellSig) = | 2952 fun p_page (ek, s, n, ts, ran, side, dbmode, tellSig) = |
2960 let | 2953 let |
2961 val (ts, defInputs, inputsVar, fields) = | 2954 val (ts, defInputs, inputsVar, fields) = |
2962 case ek of | 2955 case ek of |