]> git.pld-linux.org Git - projects/rc-scripts.git/commit
projects / projects / rc-scripts.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30595a7) | patch
Don't delete base pidfile if other pid file was specified. Delete it instead. It...
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Wed, 6 Feb 2019 14:45:43 +0000 (15:45 +0100)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Wed, 6 Feb 2019 14:45:43 +0000 (15:45 +0100)
commit27a3470a3eca2ab9b6d5ac5b7b8c7fdb65b66435
treefc1b82c097a5710674ee3dc85bfe6860b0a812fbtree | snapshot
parent30595a70bf48c54228d8aecfdcc8ef8bc69ad61acommit | diff
Don't delete base pidfile if other pid file was specified. Delete it instead. It was deleting aaa.pid even if we did killproc -p bbb.pid aaa and our service name was aaa.
lib/functions diff | blob | blame | history
inittab and /etc/rc.d scripts
This page took 0.28812 seconds and 4 git commands to generate.