X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FTODO;h=7fc3c6bb6e2b2252130d440795f730e78d59d5d4;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=ac983999f7ec24b2753e44c09dc666e6b86a44a8;hpb=ae7dbddb8d6f07470db18955cc614972603cc2a9;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/TODO b/helm/DEVEL/ocaml-http/TODO
index ac983999f..7fc3c6bb6 100644
--- a/helm/DEVEL/ocaml-http/TODO
+++ b/helm/DEVEL/ocaml-http/TODO
@@ -1,10 +1 @@
-- add Http_daemon.respond_ok ~body
-- add a perlish Http_daemon.daemon class, e.g.:
-    let d = new daemon ... in
-    while true do
-      req = d#accept ()
-      ...
-    done
-- add the possibility to chdir and/or chroot in a given dir before starting
-- parse also header and contents of http requests and add corresponding methods
-  to requests objects
+- support for HTTPS