X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FTODO;h=7fc3c6bb6e2b2252130d440795f730e78d59d5d4;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=75714788aa67e8128f62a900aa1f15cce6c68d98;hpb=cf3de8cff54340c5414b91dc7c91fa39ce277cd3;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/TODO b/helm/DEVEL/ocaml-http/TODO
index 75714788a..7fc3c6bb6 100644
--- a/helm/DEVEL/ocaml-http/TODO
+++ b/helm/DEVEL/ocaml-http/TODO
@@ -1,10 +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
-
+- support for HTTPS