Mercurial > urweb
comparison src/cjr_print.sml @ 1823:66a58d8501e0
Merge
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 19 Sep 2012 14:36:12 -0400 |
parents | e6ff36097cc4 |
children | 16b08de04f05 |
comparison
equal
deleted
inserted
replaced
1822:8bc16ff91d32 | 1823:66a58d8501e0 |
---|---|
3237 | 3237 |
3238 val onError = ListUtil.search (fn (DOnError n, _) => SOME n | _ => NONE) ds | 3238 val onError = ListUtil.search (fn (DOnError n, _) => SOME n | _ => NONE) ds |
3239 | 3239 |
3240 val now = Time.now () | 3240 val now = Time.now () |
3241 val nowD = Date.fromTimeUniv now | 3241 val nowD = Date.fromTimeUniv now |
3242 val rfcFmt = "%a, %d %b %Y %H:%M:%S" | 3242 val rfcFmt = "%a, %d %b %Y %H:%M:%S GMT" |
3243 in | 3243 in |
3244 box [string "#include \"", | 3244 box [string "#include \"", |
3245 string (OS.Path.joinDirFile {dir = !Settings.configInclude, | 3245 string (OS.Path.joinDirFile {dir = !Settings.configInclude, |
3246 file = "config.h"}), | 3246 file = "config.h"}), |
3247 string "\"", | 3247 string "\"", |
3427 newline, | 3427 newline, |
3428 newline, | 3428 newline, |
3429 string "uw_write_header(ctx, \"Content-type: text/javascript\\r\\n\");", | 3429 string "uw_write_header(ctx, \"Content-type: text/javascript\\r\\n\");", |
3430 newline, | 3430 newline, |
3431 string ("uw_write_header(ctx, \"Last-modified: " ^ Date.fmt rfcFmt nowD ^ "\\r\\n\");"), | 3431 string ("uw_write_header(ctx, \"Last-modified: " ^ Date.fmt rfcFmt nowD ^ "\\r\\n\");"), |
3432 newline, | |
3433 string ("uw_write_header(ctx, \"Cache-Control: max-age=31536000, public\\r\\n\");"), | |
3432 newline, | 3434 newline, |
3433 string "uw_write(ctx, jslib);", | 3435 string "uw_write(ctx, jslib);", |
3434 newline, | 3436 newline, |
3435 string "return;", | 3437 string "return;", |
3436 newline], | 3438 newline], |