]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6e34ef) | patch
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
treeee2f330a226dbb0870f3e5fd5dc825db656e8be8tree | snapshot
parentf6e34efbe6ce54f87d62997a0b81ca541a12d3dacommit | diff
fixed a finalization issue for connections closed twice
thanks to Erik Stroke for the patch
helm/DEVEL/ocaml-http/debian/changelog diff | blob | history
helm/DEVEL/ocaml-http/http_daemon.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.