X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Focaml-http%2Fhttp_common.mli;h=bd7ff3079c55b2c4aa1067d7c604c3ca0ed5bced;hb=9a15410edc3a5ad417fa05bbf914dc787cd152b3;hp=172e66e5ad5d2bd68e73a79efcd1e415ca404840;hpb=6a8da4dd52033adfe80533f7467439aec1561147;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_common.mli b/helm/DEVEL/ocaml-http/http_common.mli
index 172e66e5a..bd7ff3079 100644
--- a/helm/DEVEL/ocaml-http/http_common.mli
+++ b/helm/DEVEL/ocaml-http/http_common.mli
@@ -19,11 +19,19 @@
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
+  (** whether debugging messages are enabled or not, can be changed at runtime
+  *)
+val debug: bool ref
+  (** print a string on stderr only if debugging is enabled *)
+val debug_print: string -> unit
+
 exception Invalid_HTTP_version of string
 exception Invalid_code of int
 exception Invalid_status of Http_types.status
 
 val http_version: Http_types.version
+val server_string: string
+val crlf: string
 
 val string_of_version: Http_types.version -> string
 val version_of_string: string -> Http_types.version