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

diff --git a/helm/DEVEL/ocaml-http/TODO b/helm/DEVEL/ocaml-http/TODO
index a32543a7c..e69de29bb 100644
--- a/helm/DEVEL/ocaml-http/TODO
+++ b/helm/DEVEL/ocaml-http/TODO
@@ -1,14 +0,0 @@
-
-- 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
-