comparison src/cjr_print.sml @ 812:2fbd1ac2f04b

Loading an FCKeditor
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 18:09:14 -0400
parents 81fce435e255
children 346cf1908a17
comparison
equal deleted inserted replaced
811:50b4825115f0 812:2fbd1ac2f04b
2839 string "uw_write_header(ctx, \"Content-script-type: text/javascript\\r\\n\");", 2839 string "uw_write_header(ctx, \"Content-script-type: text/javascript\\r\\n\");",
2840 newline, 2840 newline,
2841 string "uw_write(ctx, begin_xhtml);", 2841 string "uw_write(ctx, begin_xhtml);",
2842 newline, 2842 newline,
2843 string "uw_set_script_header(ctx, \"", 2843 string "uw_set_script_header(ctx, \"",
2844 string (case side of 2844 let
2845 val scripts =
2846 case side of
2845 ServerOnly => "" 2847 ServerOnly => ""
2846 | _ => "<script src=\\\"" 2848 | _ => "<script src=\\\""
2847 ^ OS.Path.joinDirFile {dir = Settings.getUrlPrefix (), 2849 ^ OS.Path.joinDirFile {dir = Settings.getUrlPrefix (),
2848 file = "app.js"} 2850 file = "app.js"}
2849 ^ "\\\"></script>\\n"), 2851 ^ "\\\"></script>\\n"
2850 p_list (fn x => string ("<script src=\\\"" ^ x ^ "\\\"></script>")) 2852
2851 (Settings.getScripts ()), 2853 val scripts = foldl (fn (x, scripts) =>
2854 scripts
2855 ^ "<script src=\\\"" ^ x ^ "\\\"></script>\\n")
2856 scripts (Settings.getScripts ())
2857 in
2858 string scripts
2859 end,
2852 string "\");", 2860 string "\");",
2853 newline, 2861 newline,
2854 string "uw_set_needs_push(ctx, ", 2862 string "uw_set_needs_push(ctx, ",
2855 string (case side of 2863 string (case side of
2856 ServerAndPullAndPush => "1" 2864 ServerAndPullAndPush => "1"