summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-03-19 16:34:13 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-03-19 16:34:13 -0400
commit9e730b9a1aa4db311088a355e7e8601c6a998467 (patch)
tree286b56b8fe24a04c3c2a26f13d6fdc9c845d7452 /src/cjr_print.sml
parent1f530c51813cbeee1b166e5e75058eacb313f306 (diff)
Dummy message delivery to clients
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 4b6a56db..c5931616 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -2355,6 +2355,9 @@ fun p_file env (ds, ps) =
^ "\\\"></script>\\n"
| ServerOnly => ""),
string "\");",
+ string "uw_set_url_prefix(ctx, \"",
+ string (!Monoize.urlPrefix),
+ string "\");",
newline]),
box [string "{",
newline,