Mercurial > urweb

diff src/cjr_print.sml @ 200:5dbba661deab

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Urlifying records
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 20:08:29 -0400
parents c938fe391c84
children 71bafe66dbe1
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Aug 09 19:46:12 2008 -0400
+++ b/src/cjr_print.sml	Sat Aug 09 20:08:29 2008 -0400
@@ -914,7 +914,8 @@
                          string "+=",
                          space,
                          string (Int.toString (size has_arg)),
-                         string ", ",
+                         string ", (request[0] == '/' ? ++request : NULL), ",
+                         newline,
                          
                          case #1 t of
                              TDatatype _ => unurlify t
@@ -990,6 +991,8 @@
                                  string (Int.toString (size x')),
                                  string ";",
                                  newline,
+                                 string "if (request[0] == '/') ++request;",
+                                 newline,
                                  case to of
                                      NONE => box []
                                    | SOME t => box [string "tmp->data.lw_",