comparison src/cjr_print.sml @ 693:655bcc9b77e0

_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 14:03:39 -0400
parents 829887ca47a6
children 70cbdcf5989b
comparison
equal deleted inserted replaced
692:09df0c85f306 693:655bcc9b77e0
2389 newline, 2389 newline,
2390 string "uw_write(ctx, \"<html>\");", 2390 string "uw_write(ctx, \"<html>\");",
2391 newline, 2391 newline,
2392 string "uw_set_script_header(ctx, \"", 2392 string "uw_set_script_header(ctx, \"",
2393 string (case side of 2393 string (case side of
2394 ServerAndClient => "<script src=\\\"" 2394 ServerOnly => ""
2395 ^ OS.Path.joinDirFile {dir = !Monoize.urlPrefix, 2395 | _ => "<script src=\\\""
2396 file = "app.js"} 2396 ^ OS.Path.joinDirFile {dir = !Monoize.urlPrefix,
2397 ^ "\\\"></script>\\n" 2397 file = "app.js"}
2398 | ServerOnly => ""), 2398 ^ "\\\"></script>\\n"),
2399 string "\");", 2399 string "\");",
2400 newline,
2401 string "uw_set_needs_push(ctx, ",
2402 string (case side of
2403 ServerAndPullAndPush => "1"
2404 | _ => "0"),
2405 string ");",
2406 newline,
2400 string "uw_set_url_prefix(ctx, \"", 2407 string "uw_set_url_prefix(ctx, \"",
2401 string (!Monoize.urlPrefix), 2408 string (!Monoize.urlPrefix),
2402 string "\");", 2409 string "\");",
2403 newline]), 2410 newline]),
2404 string "uw_login(ctx);", 2411 string "uw_login(ctx);",