]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d564c3) | patch
added generic daemon respawner
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 15:56:20 +0000 (15:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 15:56:20 +0000 (15:56 +0000)
commit436238cb5e5e57401e38b4ce5e62fa998def4dfe
treef986bd5bd6857f73061db13f4fa4d357906d2a6ctree | snapshot
parent6d564c33154c98e83a358e9f929eb4f9d4ee1608commit | diff
added generic daemon respawner
helm/scripts/init.d/daemon_respawner.sh [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.