X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_common.ml;h=23beaf9ae85fae662f82e8366c876c92ddc85c22;hb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;hp=ed595590d2caf7dfa1b14af7f6c310942dadf3ba;hpb=b5703de4f7697426ebda94fce2558add7c4f0285;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_common.ml b/helm/DEVEL/ocaml-http/http_common.ml
index ed595590d..23beaf9ae 100644
--- a/helm/DEVEL/ocaml-http/http_common.ml
+++ b/helm/DEVEL/ocaml-http/http_common.ml
@@ -39,6 +39,15 @@ let version_of_string = function
   | "HTTP/1.1" -> `HTTP_1_1
   | invalid_version -> raise (Invalid_HTTP_version invalid_version)
 
+let string_of_method = function
+  | `GET -> "GET"
+  | `POST -> "POST"
+
+let method_of_string = function
+  | "GET" -> `GET
+  | "POST" -> `POST
+  | invalid_method -> raise (Invalid_HTTP_method invalid_method)
+
 let status_of_code = function
   | 100 -> `Informational `Continue
   | 101 -> `Informational `Switching_protocols