summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-02-26 21:43:15 +0100
committerErich Eckner <git@eckner.net>2022-02-26 21:43:15 +0100
commit425e15ed1c4c137ef0eb88917d59711a7b8b32aa (patch)
tree6fae8b35dd40ca0ff08afa3f9af667a994494a31
parentd8fc8f67642d30cec2ff17aff6b4568b9b6286ae (diff)
downloadhardlinkedBackups-425e15ed1c4c137ef0eb88917d59711a7b8b32aa.tar.xz
backup: use /proc/$pid instead of kill -0 $pid
-rwxr-xr-xbackup.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/backup.in b/backup.in
index 6174837..2de7384 100755
--- a/backup.in
+++ b/backup.in
@@ -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}"