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