Dependency on ocaml_http replaced by ocaml_http_stubs stubs

[helm.git] / matita / components / ocaml_http_stubs / http_daemon.mli

diff --git a/matita/components/ocaml_http_stubs/http_daemon.mli b/matita/components/ocaml_http_stubs/http_daemon.mli
new file mode 100644 (file)
index 0000000..e30f398
--- /dev/null
+++ b/matita/components/ocaml_http_stubs/http_daemon.mli
@@ -0,0 +1,13 @@
+(* The interface of this stub file is taken from the equally named module
+   of the ocaml-http library *)
+
+val send_basic_headers:
+ ?version: Http_types.version -> code:Http_types.status_code ->
+  out_channel ->
+    unit
+
+val send_headers:
+ headers:(string * string) list -> out_channel -> unit
+
+val send_CRLF:
+  out_channel -> unit