]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 863d12e) | patch
ensure connections get closed after having been served
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 May 2006 17:36:36 +0000 (17:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 May 2006 17:36:36 +0000 (17:36 +0000)
commit0dec3cb8c59ba272b6b00fdd959ad9357f00b837
tree6331a2be5fcd63a0f43815ba3ef7e6126b4136b5tree | snapshot
parent863d12e97772fb72e7820c9f1bee037da77f2746commit | diff
ensure connections get closed after having been served
daemons/whelp/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.