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