From 080efe8cbf8e5bc69a17f8af8f5feffd01dd67fe Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sun, 10 Feb 2019 21:39:17 +0100
Subject: backup.in: check if process which wrote pid file is actually (still)
 running

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

diff --git a/backup.in b/backup.in
index ca4c1ae..7497be4 100755
--- a/backup.in
+++ b/backup.in
@@ -150,7 +150,7 @@ if ${seldom}; then
     fi
   done
 fi
-[ -e "${pidFile}" ] && exit 5
+[ -s "${pidFile}" ] && kill -0 $(cat "${pidFile}") 2>/dev/null && exit 5
 
 echo $$ > "${pidFile}"
 
-- 
cgit v1.2.3