Mercurial > urweb
diff src/cjr_print.sml @ 1446:36f7d1debb37
Each context gets its own non-repeating sequence of source numbers
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 09 Apr 2011 14:36:47 -0400 |
parents | 6064ddd90ca6 |
children | b6ce8ef0ea88 |
line wrap: on
line diff
--- a/src/cjr_print.sml Mon Mar 28 10:37:49 2011 -0400 +++ b/src/cjr_print.sml Sat Apr 09 14:36:47 2011 -0400 @@ -2723,7 +2723,11 @@ string ", 0);", newline, box (case ek of - Core.Rpc _ => [urlify env ran] + Core.Rpc _ => [string "uw_write(ctx, uw_get_real_script(ctx));", + newline, + string "uw_write(ctx, \"\\n\");", + newline, + urlify env ran] | _ => [string "uw_write(ctx, \"</html>\");", newline]), string "return;",