]> matita.cs.unibo.it Git - helm.git/commit
/projects/helm/run/*_mowgli.pid moved into /var/run
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 20 Jan 2004 08:38:35 +0000 (08:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 20 Jan 2004 08:38:35 +0000 (08:38 +0000)
commitd6e74a36ba8d9ff712e7305566858d8910a4be23
treeb55dca679c5976800f9c65c39783ba45cea25f46
parent8f2461e7c0c1a6b7d54c16e84b49b2773ea4788d
/projects/helm/run/*_mowgli.pid moved into /var/run
helm/scripts/init.d/helm-bootmisc_mowgli.sh
helm/scripts/init.d/helm-draw-graph_mowgli
helm/scripts/init.d/helm-http-getter_mowgli
helm/scripts/init.d/helm-proof-checker_mowgli
helm/scripts/init.d/helm-search-engine_mowgli
helm/scripts/init.d/helm-uri-set-queue_mowgli
helm/scripts/init.d/helm-uwobo_mowgli
helm/scripts/init.d/uwobo_forever.sh