]> matita.cs.unibo.it Git - helm.git/commit
fixed a finalization issue for connections closed twice
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Sep 2005 16:06:14 +0000 (16:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Sep 2005 16:06:14 +0000 (16:06 +0000)
commit33a02e0b639217093eb63f30169aaa6ac8c78907
treeee2f330a226dbb0870f3e5fd5dc825db656e8be8
parentf6e34efbe6ce54f87d62997a0b81ca541a12d3da
fixed a finalization issue for connections closed twice
thanks to Erik Stroke for the patch
helm/DEVEL/ocaml-http/debian/changelog
helm/DEVEL/ocaml-http/http_daemon.ml