]> matita.cs.unibo.it Git - helm.git/commit
catch SIGTERM and log a "bye" message
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:45:39 +0000 (15:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:45:39 +0000 (15:45 +0000)
commitd731bfc4eff6e0de05d514daff05330680992294
tree0c1fc3cdf035b5f7a51d7a9752e99b0be5bac50e
parent75b23fd15585bd15f2ab0f460bdf1deeba730c0e
catch SIGTERM and log a "bye" message
helm/uwobo/src/ocaml/uwobo.ml