diff options
| -rw-r--r-- | lib/js/urweb.js | 12 | ||||
| -rw-r--r-- | src/cjr_print.sml | 16 |
2 files changed, 24 insertions, 4 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 04c1cfae..8890c446 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -228,6 +228,18 @@ function addNode(node) { lastParent().appendChild(node); } +function setHTML(html) { + var x = document.createElement("span"); + x.dead = false; + x.signal = null; + x.sources = null; + x.closures = null; + x.innerHTML = html; + addNode(x); + runScripts(x); + alert("HTML:\n" + html); +} + var thisScript = null; function runScripts(node) { 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, ", |