chiark / gitweb /
Restart on death.
authorijackson <ijackson>
Sun, 15 Jul 2001 12:16:38 +0000 (12:16 +0000)
committerijackson <ijackson>
Sun, 15 Jul 2001 12:16:38 +0000 (12:16 +0000)
commit6023d957730643251f5b7827056d732d07467b15
treedfaed04a535916a4c9de4c0c202f90b689a46254
parentc91fec853b9c1441e763d8fffae79d4c61aa13ff
Restart on death.
repeatedly.sh [new file with mode: 0755]