comparison src/cjr_print.sml @ 667:a93d5324f400

Dummy message delivery to clients
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Mar 2009 16:34:13 -0400
parents 1b571a05874c
children a8effb6159c2
comparison
equal deleted inserted replaced
666:5130228d2b29 667:a93d5324f400
2353 ^ OS.Path.joinDirFile {dir = !Monoize.urlPrefix, 2353 ^ OS.Path.joinDirFile {dir = !Monoize.urlPrefix,
2354 file = "app.js"} 2354 file = "app.js"}
2355 ^ "\\\"></script>\\n" 2355 ^ "\\\"></script>\\n"
2356 | ServerOnly => ""), 2356 | ServerOnly => ""),
2357 string "\");", 2357 string "\");",
2358 string "uw_set_url_prefix(ctx, \"",
2359 string (!Monoize.urlPrefix),
2360 string "\");",
2358 newline]), 2361 newline]),
2359 box [string "{", 2362 box [string "{",
2360 newline, 2363 newline,
2361 box (ListUtil.mapi (fn (i, t) => box [p_typ env t, 2364 box (ListUtil.mapi (fn (i, t) => box [p_typ env t,
2362 space, 2365 space,