Mercurial > urweb
changeset 1613:4973d31b5fff
Fix server-side urlification of custom Option types
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 25 Nov 2011 16:30:34 -0500 |
| parents | 7bb8c560f23d |
| children | efe1a2e9e4de |
| files | src/cjr_print.sml |
| diffstat | 1 files changed, 7 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- 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,