diff options
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 2cfd0663..8c5a24b4 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -2591,15 +2591,19 @@ fun p_file env (ds, ps) = val scripts = case side of ServerOnly => "" - | _ => "<script src=\\\"" - ^ OS.Path.joinDirFile {dir = Settings.getUrlPrefix (), - file = "app.js"} - ^ "\\\"></script>\\n" - - val scripts = foldl (fn (x, scripts) => - scripts - ^ "<script src=\\\"" ^ x ^ "\\\"></script>\\n") - scripts (Settings.getScripts ()) + | _ => + let + val scripts = + "<script src=\\\"" + ^ OS.Path.joinDirFile {dir = Settings.getUrlPrefix (), + file = "app.js"} + ^ "\\\"></script>\\n" + in + foldl (fn (x, scripts) => + scripts + ^ "<script src=\\\"" ^ x ^ "\\\"></script>\\n") + scripts (Settings.getScripts ()) + end in string scripts end, |