]> matita.cs.unibo.it Git - helm.git/commit
Instead of closing the socket to avoid persistent connections (a bugged
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Jul 2006 16:59:36 +0000 (16:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Jul 2006 16:59:36 +0000 (16:59 +0000)
commit227ed314d21d52a2270073bf534eae452732a791
tree8198edc5a656f5c16fa71d948004d74d378bb005
parenta10be3a13dcc22283717c86e660a95a9f113875d
Instead of closing the socket to avoid persistent connections (a bugged
solution in Ocaml 3.09.2), we use the new ~auto_close feature of libhttp-ocaml.
daemons/graphs/tools/drawGraph.ml
daemons/graphs/tools/uriSetQueue.ml
daemons/http_getter/main.ml
daemons/proofChecker/proofChecker.ml
daemons/rdfly/rdfly.ml
daemons/uwobo/uwobo.ml
daemons/whelp/searchEngine.ml