X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_common.ml;h=9155e95ebc99112c3ab28141228d199440b419ed;hb=0c6a5aadb1a7746681a8e26fc0b009f847c10557;hp=ed595590d2caf7dfa1b14af7f6c310942dadf3ba;hpb=4f958180b81fa67b5afce966cad3415645e40bf2;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_common.ml b/helm/DEVEL/ocaml-http/http_common.ml
index ed595590d..9155e95eb 100644
--- a/helm/DEVEL/ocaml-http/http_common.ml
+++ b/helm/DEVEL/ocaml-http/http_common.ml
@@ -2,7 +2,7 @@
 (*
   OCaml HTTP - do it yourself (fully OCaml) HTTP daemon
 
-  Copyright (C) <2002> Stefano Zacchiroli <zack@cs.unibo.it>
+  Copyright (C) <2002-2004> Stefano Zacchiroli <zack@cs.unibo.it>
 
   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
@@ -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