diff options
author | Erich Eckner <git@eckner.net> | 2022-02-26 21:43:15 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2022-02-26 21:43:15 +0100 |
commit | 425e15ed1c4c137ef0eb88917d59711a7b8b32aa (patch) | |
tree | 6fae8b35dd40ca0ff08afa3f9af667a994494a31 | |
parent | d8fc8f67642d30cec2ff17aff6b4568b9b6286ae (diff) | |
download | hardlinkedBackups-425e15ed1c4c137ef0eb88917d59711a7b8b32aa.tar.xz |
backup: use /proc/$pid instead of kill -0 $pid
-rwxr-xr-x | backup.in | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -188,7 +188,7 @@ if ${seldom}; then done fi [ -w "${Basis}" ] || exit 11 -[ -s "${pidFile}" ] && kill -0 $(cat "${pidFile}") 2>/dev/null && exit 5 +[ -s "${pidFile}" ] && [ -d "/proc/$(cat "${pidFile}")" ] && exit 5 echo $$ > "${pidFile}" |