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

diff --git a/helm/DEVEL/ocaml-http/TODO b/helm/DEVEL/ocaml-http/TODO
index ded75c3f5..343b51d87 100644
--- a/helm/DEVEL/ocaml-http/TODO
+++ b/helm/DEVEL/ocaml-http/TODO
@@ -1,7 +1,2 @@
-
-- keep in request objects or somewhere client information like IP address
-
-- parse also header and contents of http requests and add corresponding methods
-  to requests objects
-  - subTODO: support POST requests
-
+- hostname support for ~addr parameter (e.g. start ~addr:"localhost")
+- HTTP authentication support