Mercurial > urweb
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" |