From 425e15ed1c4c137ef0eb88917d59711a7b8b32aa Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sat, 26 Feb 2022 21:43:15 +0100
Subject: backup: use /proc/$pid instead of kill -0 $pid

---
 backup.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}"
 
-- 
cgit v1.2.3-70-g09d2