diff src/cjr_print.sml @ 1038:dcc6093e9575

Get message-passing working in IE6
author Adam Chlipala <adamc@hcoop.net>
date Sat, 21 Nov 2009 15:48:08 -0500
parents e46227efcbba
children 217eb87dde31
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Nov 21 14:29:35 2009 -0500
+++ b/src/cjr_print.sml	Sat Nov 21 15:48:08 2009 -0500
@@ -2575,16 +2575,16 @@
                                     end,
                                     string "\");",
                                     newline,
-                                    string "uw_set_needs_push(ctx, ",
-                                    string (case side of
-                                                ServerAndPullAndPush => "1"
-                                              | _ => "0"),
-                                    string ");",
-                                    newline,
                                     string "uw_set_url_prefix(ctx, \"",
                                     string (Settings.getUrlPrefix ()),
                                     string "\");",
                                     newline]),
+                     string "uw_set_needs_push(ctx, ",
+                     string (case side of
+                                 ServerAndPullAndPush => "1"
+                               | _ => "0"),
+                     string ");",
+                     newline,
                      string "uw_set_needs_sig(ctx, ",
                      string (if couldWrite ek then
                                  "1"