# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1322256634 18000
# Node ID 4973d31b5fff285a7a9365a0b299e455f43e4fde
# Parent  7bb8c560f23d79e29f4ec3b2d348f9032412650b
Fix server-side urlification of custom Option types

diff -r 7bb8c560f23d -r 4973d31b5fff src/cjr_print.sml
--- a/src/cjr_print.sml	Fri Nov 25 11:08:51 2011 -0500
+++ b/src/cjr_print.sml	Fri Nov 25 16:30:34 2011 -0500
@@ -1090,7 +1090,13 @@
                                             box [string "if (it0) {",
                                                  newline,
                                                  if isUnboxable t then
-                                                     urlify' 0 t
+                                                     box [string "uw_write(ctx, \"",
+                                                          string has_arg,
+                                                          string "/\");",
+                                                          newline,
+                                                          urlify' 0 t,
+                                                          string ";",
+                                                          newline]
                                                  else
                                                      box [p_typ env t,
                                                           space,