comparison src/cjr_print.sml @ 766:df09c95085f8

More FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 12:10:43 -0400
parents a28982de5645
children c125df6fabfc
comparison
equal deleted inserted replaced
765:a28982de5645 766:df09c95085f8
2837 ServerOnly => "" 2837 ServerOnly => ""
2838 | _ => "<script src=\\\"" 2838 | _ => "<script src=\\\""
2839 ^ OS.Path.joinDirFile {dir = Settings.getUrlPrefix (), 2839 ^ OS.Path.joinDirFile {dir = Settings.getUrlPrefix (),
2840 file = "app.js"} 2840 file = "app.js"}
2841 ^ "\\\"></script>\\n"), 2841 ^ "\\\"></script>\\n"),
2842 p_list (fn x => string ("<script src=\\\"" ^ x ^ "\\\"></script>"))
2843 (Settings.getScripts ()),
2842 string "\");", 2844 string "\");",
2843 newline, 2845 newline,
2844 string "uw_set_needs_push(ctx, ", 2846 string "uw_set_needs_push(ctx, ",
2845 string (case side of 2847 string (case side of
2846 ServerAndPullAndPush => "1" 2848 ServerAndPullAndPush => "1"