From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 11 Feb 2007 20:30:13 +0000 (+0000)
Subject: Change uses of Substring.all (obsolete) to Substring.full
X-Git-Url: http://git.hcoop.net/bpt/mlt.git/commitdiff_plain/142d9e8ce25dfddfab9fe0da40a28a3756482dbe

Change uses of Substring.all (obsolete) to Substring.full
---

diff --git a/src/lib/cgi.sml b/src/lib/cgi.sml
index 842ea56..9619e6d 100644
--- a/src/lib/cgi.sml
+++ b/src/lib/cgi.sml
@@ -149,7 +149,7 @@ local
 
     fun getint NONE       default = default
       | getint (SOME str) default =
-	case Int.scan StringCvt.DEC Substring.getc (Substring.all str) of
+	case Int.scan StringCvt.DEC Substring.getc (Substring.full str) of
 	    NONE          => default
 	  | SOME(i, rest) => if Substring.isEmpty rest then i else default
 
@@ -238,7 +238,7 @@ in
 
 	 multipart_boundary := 
 			     (let open Substring
-				  val content_type = all (valOf (!cgi_content_type))
+				  val content_type = full (valOf (!cgi_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
-			  NONE => Substring.tokens (is #"&") (Substring.all (!query_string))
+			  NONE => Substring.tokens (is #"&") (Substring.full (!query_string))
 			| _    => []);
 
 	 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") 
-			  val (_, contents) = position boundary (all (!query_string))
+			  val (_, contents) = position boundary (full (!query_string))
 			  fun loop rest =
 			      let val (pref, suff) = position boundary rest
 			      in