]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/http_types.ml
added support for "ancient" HTTP requests like "GET /foo"
[helm.git] / helm / DEVEL / ocaml-http / http_types.ml
index 909b4681adc2a74eb0214ac2a7cecfab3febde96..34c8481a7df72109d811a14bc25fdd34232e25f3 100644 (file)
@@ -128,6 +128,7 @@ exception Invalid_HTTP_method of string
 exception Invalid_code of int
 exception Invalid_status of status
 
+exception Malformed_URL of string
 exception Malformed_query of string
 exception Malformed_query_part of string * string
 exception Unsupported_method of string
@@ -146,7 +147,7 @@ exception Quit
 
 class type message = object
 
-    method version: version
+    method version: version option
     method setVersion: version -> unit
 
     method body: string