]> matita.cs.unibo.it Git - helm.git/commit
kill instances of uwobo_forever.sh on stop
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 8 Apr 2003 08:21:20 +0000 (08:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 8 Apr 2003 08:21:20 +0000 (08:21 +0000)
commit6958ec3406c687e19c7a866b5cb64455359e07f2
treeec8d33398605afe7ef75d3b1355a1a00eae68698
parentd7af0bea08601069238c9523a3274982681209bf
kill instances of uwobo_forever.sh on stop
helm/scripts/init.d/helm-uwobo_mowgli