]> matita.cs.unibo.it Git - helm.git/commit
kill HTTP child on exit
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 16:07:09 +0000 (16:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 16:07:09 +0000 (16:07 +0000)
commitec5094737abf5898aae30b1b71b5910c039c94bc
tree7471fdc54fd9ab7232285979260f0fbac13c1bf4
parentd731bfc4eff6e0de05d514daff05330680992294
kill HTTP child on exit
helm/uwobo/src/ocaml/uwobo.ml