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 | 3120f9ddb17494dc36d7a329c28dc587be55de77 (patch) | |
tree | 79d8cd5ca5daae30ad0d2bdbc1ba789d485f3615 /src/cjr_print.sml | |
parent | 98b889b93a2ab366f002bc0607063e56bb3e6339 (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, ", |