X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_common.ml;h=23beaf9ae85fae662f82e8366c876c92ddc85c22;hb=03d1ddf4a7fdf03fd497babd84d1963048253f0d;hp=839d2aff3f35dcff5063e1f8cea988789558fed5;hpb=58ba2d4922238d2917fddc097aa44d28de93807a;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_common.ml b/helm/DEVEL/ocaml-http/http_common.ml
index 839d2aff3..23beaf9ae 100644
--- a/helm/DEVEL/ocaml-http/http_common.ml
+++ b/helm/DEVEL/ocaml-http/http_common.ml
@@ -25,7 +25,7 @@ open Printf;;
 let debug = ref false
 let debug_print s =
   if !debug then
-    prerr_endline (sprintf "DEBUG: %s" s)
+    prerr_endline (sprintf "[OCaml HTTP] DEBUG: %s" s)
 
 let http_version = Http_constants.version
 let server_string = Http_constants.server_string
@@ -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