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

diff --git a/helm/DEVEL/ocaml-http/TODO b/helm/DEVEL/ocaml-http/TODO
index a32543a7c..343b51d87 100644
--- a/helm/DEVEL/ocaml-http/TODO
+++ b/helm/DEVEL/ocaml-http/TODO
@@ -1,14 +1,2 @@
-
-- 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
-
+- hostname support for ~addr parameter (e.g. start ~addr:"localhost")
+- HTTP authentication support