diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-13 12:00:34 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-13 12:00:34 -0400 |
| commit | 20402eff5a1c61c250d735b371e8ad031743d174 (patch) | |
| tree | 79d8cd5ca5daae30ad0d2bdbc1ba789d485f3615 /src/cjr_print.sml | |
| parent | 640e40ca6ce43e920e77187f653a86935e9d0acb (diff) | |
Have nullable columns working with Dbgrid
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index c6406cef..538e53f2 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -923,7 +923,7 @@ fun unurlify env (t, loc) = box [string "(request[0] == '/' ? ++request : request, ", string "((!strncmp(request, \"None\", 4) ", string "&& (request[4] == 0 || request[4] == '/')) ", - string "? (request += 4, NULL) ", + string "? (request += (request[4] == 0 ? 4 : 5), NULL) ", string ": ((!strncmp(request, \"Some\", 4) ", string "&& request[4] == '/') ", string "? (request += 5, ", |