]> matita.cs.unibo.it Git - helm.git/commitdiff
- moved exceptions in http_types
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:35:22 +0000 (21:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:35:22 +0000 (21:35 +0000)
helm/DEVEL/ocaml-http/http_request.ml
helm/DEVEL/ocaml-http/http_request.mli

index c2d9728955a6a70adc7edb4f0b4d078ef4f6bc8f..4eec70279267664de63821dcda4592e87b38350c 100644 (file)
@@ -20,8 +20,7 @@
 *)
 
 open Http_common;;
-
-exception Param_not_found of string
+open Http_types;;
 
 class request ~path ~params =
   object (self)
index e8632c4f86df1e793362d90f8519d35d2e22bf4d..6704b6301b80b27eac5abaf51b8a994ab2332989 100644 (file)
@@ -19,8 +19,6 @@
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-exception Param_not_found of string
-
   (** fooish class to enclose callback's arguments *)
 class request:
   path: string -> params: (string * string) list -> Http_types.request