From e6709e2fecd0e629b179c190dce75f9ef03697f4 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 2 Mar 2020 06:29:07 +0100
Subject: update-me.in: do not kill - it may not be allowed

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

diff --git a/update-me.in b/update-me.in
index 940b86c..c215cf5 100644
--- a/update-me.in
+++ b/update-me.in
@@ -18,7 +18,7 @@ while [ $# -gt 0 ]; do
       play_it_safe=true
     ;;
     'x-c')
-      if [ -f "${safety_file}" ] && kill -0 $(cat "${safety_file}"); then
+      if [ -f "${safety_file}" ] && ps $(cat "${safety_file}") >/dev/null; then
         rm "${safety_file}"
         exit 0
       fi
-- 
cgit v1.2.3-54-g00ecf