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

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