diff src/cjr_print.sml @ 645:1b571a05874c

React demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 11:18:01 -0400
parents aa2290c32ce2
children a93d5324f400
line wrap: on
line diff
--- a/src/cjr_print.sml	Tue Mar 10 10:49:18 2009 -0400
+++ b/src/cjr_print.sml	Tue Mar 10 11:18:01 2009 -0400
@@ -2349,7 +2349,10 @@
                                     newline,
                                     string "uw_set_script_header(ctx, \"",
                                     string (case side of
-                                                ServerAndClient => "<script src=\\\"/app.js\\\"></script>\\n"
+                                                ServerAndClient => "<script src=\\\""
+                                                                   ^ OS.Path.joinDirFile {dir = !Monoize.urlPrefix,
+                                                                                          file = "app.js"}
+                                                                   ^ "\\\"></script>\\n"
                                               | ServerOnly => ""),
                                     string "\");",
                                     newline]),