comparison 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
comparison
equal deleted inserted replaced
1037:83d8ddd09d95 1038:dcc6093e9575
2573 in 2573 in
2574 string scripts 2574 string scripts
2575 end, 2575 end,
2576 string "\");", 2576 string "\");",
2577 newline, 2577 newline,
2578 string "uw_set_needs_push(ctx, ",
2579 string (case side of
2580 ServerAndPullAndPush => "1"
2581 | _ => "0"),
2582 string ");",
2583 newline,
2584 string "uw_set_url_prefix(ctx, \"", 2578 string "uw_set_url_prefix(ctx, \"",
2585 string (Settings.getUrlPrefix ()), 2579 string (Settings.getUrlPrefix ()),
2586 string "\");", 2580 string "\");",
2587 newline]), 2581 newline]),
2582 string "uw_set_needs_push(ctx, ",
2583 string (case side of
2584 ServerAndPullAndPush => "1"
2585 | _ => "0"),
2586 string ");",
2587 newline,
2588 string "uw_set_needs_sig(ctx, ", 2588 string "uw_set_needs_sig(ctx, ",
2589 string (if couldWrite ek then 2589 string (if couldWrite ek then
2590 "1" 2590 "1"
2591 else 2591 else
2592 "0"), 2592 "0"),