HCoop
/
bpt
/
mlt.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
bb5725e
)
Change uses of Substring.all (obsolete) to Substring.full
author
Adam Chlipala
<adamc@hcoop.net>
Sun, 11 Feb 2007 20:30:13 +0000
(20:30 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sun, 11 Feb 2007 20:30:13 +0000
(20:30 +0000)
src/lib/cgi.sml
patch
|
blob
|
blame
|
history
diff --git
a/src/lib/cgi.sml
b/src/lib/cgi.sml
index
842ea56
..
9619e6d
100644
(file)
--- a/
src/lib/cgi.sml
+++ b/
src/lib/cgi.sml
@@
-149,7
+149,7
@@
local
fun getint NONE default = default
| getint (SOME str) default =
fun getint NONE default = default
| getint (SOME str) default =
- case Int.scan StringCvt.DEC Substring.getc (Substring.
a
ll str) of
+ case Int.scan StringCvt.DEC Substring.getc (Substring.
fu
ll str) of
NONE => default
| SOME(i, rest) => if Substring.isEmpty rest then i else default
NONE => default
| SOME(i, rest) => if Substring.isEmpty rest then i else default
@@
-238,7
+238,7
@@
in
multipart_boundary :=
(let open Substring
multipart_boundary :=
(let open Substring
- val content_type =
a
ll (valOf (!cgi_content_type))
+ val content_type =
fu
ll (valOf (!cgi_content_type))
in
if isPrefix "multipart/form-data;" content_type then
getboundary content_type
in
if isPrefix "multipart/form-data;" content_type then
getboundary content_type
@@
-254,7
+254,7
@@
in
the_fields :=
(case !multipart_boundary of
the_fields :=
(case !multipart_boundary of
- NONE => Substring.tokens (is #"&") (Substring.
a
ll (!query_string))
+ NONE => Substring.tokens (is #"&") (Substring.
fu
ll (!query_string))
| _ => []);
dict_with_codes := List.map (Substring.fields (is #"=")) (!the_fields);
| _ => []);
dict_with_codes := List.map (Substring.fields (is #"=")) (!the_fields);
@@
-265,7
+265,7
@@
in
(let open Substring
val boundary = "--" ^ valOf (!multipart_boundary)
val skipbnd = dropl (isn't #"\n")
(let open Substring
val boundary = "--" ^ valOf (!multipart_boundary)
val skipbnd = dropl (isn't #"\n")
- val (_, contents) = position boundary (
a
ll (!query_string))
+ val (_, contents) = position boundary (
fu
ll (!query_string))
fun loop rest =
let val (pref, suff) = position boundary rest
in
fun loop rest =
let val (pref, suff) = position boundary rest
in