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;",