diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-16 18:09:14 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-16 18:09:14 -0400 |
| commit | fd44d539abb06cf86fd8fe76369c056b8f892a26 (patch) | |
| tree | ff24ac717027dba9e51bd258e0e8ae772143c7aa /src/cjr_print.sml | |
| parent | 7af142b658900bcc302f3fab1501cc6c33c69e8b (diff) | |
Loading an FCKeditor
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 7f5dccde..683c2ddf 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -2841,14 +2841,22 @@ fun p_file env (ds, ps) = string "uw_write(ctx, begin_xhtml);", newline, string "uw_set_script_header(ctx, \"", - string (case side of + let + val scripts = + case side of ServerOnly => "" | _ => "<script src=\\\"" ^ OS.Path.joinDirFile {dir = Settings.getUrlPrefix (), file = "app.js"} - ^ "\\\"></script>\\n"), - p_list (fn x => string ("<script src=\\\"" ^ x ^ "\\\"></script>")) - (Settings.getScripts ()), + ^ "\\\"></script>\\n" + + val scripts = foldl (fn (x, scripts) => + scripts + ^ "<script src=\\\"" ^ x ^ "\\\"></script>\\n") + scripts (Settings.getScripts ()) + in + string scripts + end, string "\");", newline, string "uw_set_needs_push(ctx, ", |