From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 3 Dec 2002 21:26:49 +0000 (+0000)
Subject: added Http_constants module
X-Git-Tag: V_0_0_6~12
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=770bf4189e7bf6edb6d7addff7cd65c1b66c9602;p=helm.git

added Http_constants module
---

diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile
index abd1a22d1..fd1f2fc63 100644
--- a/helm/DEVEL/ocaml-http/Makefile
+++ b/helm/DEVEL/ocaml-http/Makefile
@@ -1,6 +1,8 @@
 include Makefile.defs
 
-MODULES = http_common http_misc http_types http_request http_parser http_tcp_server http_daemon http_response
+MODULES =	\
+	http_types http_constants http_misc http_tcp_server http_common	\
+	http_request http_parser http_daemon http_response
 THREADED_SRV = http_threaded_tcp_server
 MODULES_MT = $(patsubst http_tcp_server, mt/$(THREADED_SRV) http_tcp_server, $(MODULES))
 MODULES_NON_MT = $(patsubst http_tcp_server, non_mt/$(THREADED_SRV) http_tcp_server, $(MODULES))
diff --git a/helm/DEVEL/ocaml-http/http_constants.ml b/helm/DEVEL/ocaml-http/http_constants.ml
new file mode 100644
index 000000000..6ad156c13
--- /dev/null
+++ b/helm/DEVEL/ocaml-http/http_constants.ml
@@ -0,0 +1,4 @@
+let version = `HTTP_1_1;;
+let server_string = "OCaml HTTP Daemon";;
+let crlf = "\r\n"
+
diff --git a/helm/DEVEL/ocaml-http/http_constants.mli b/helm/DEVEL/ocaml-http/http_constants.mli
new file mode 100644
index 000000000..aeaa9a57a
--- /dev/null
+++ b/helm/DEVEL/ocaml-http/http_constants.mli
@@ -0,0 +1,3 @@
+val version: Http_types.version
+val server_string: string
+val crlf: string