]> matita.cs.unibo.it Git - helm.git/commitdiff
added Http_constants module
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:26:49 +0000 (21:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:26:49 +0000 (21:26 +0000)
helm/DEVEL/ocaml-http/Makefile
helm/DEVEL/ocaml-http/http_constants.ml [new file with mode: 0644]
helm/DEVEL/ocaml-http/http_constants.mli [new file with mode: 0644]

index abd1a22d103c463ed4ce88176c18b451624cd5f6..fd1f2fc6377a157a3c2a83c4eb3aab57aa9086c4 100644 (file)
@@ -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 (file)
index 0000000..6ad156c
--- /dev/null
@@ -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 (file)
index 0000000..aeaa9a5
--- /dev/null
@@ -0,0 +1,3 @@
+val version: Http_types.version
+val server_string: string
+val crlf: string