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