From 72c39240811f1def43fca71de51566d206f7728d Mon Sep 17 00:00:00 2001
From: Robert Günzler <r@gnzler.io>
Date: Thu, 21 Jan 2021 19:33:10 +0100
Subject: Update 2021-01-21T18:33:10Z

---
 bin/menu | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'bin/menu')

diff --git a/bin/menu b/bin/menu
index 94d886b..82979d5 100755
--- a/bin/menu
+++ b/bin/menu
@@ -38,8 +38,12 @@ done
 passwd_arg=
 [ -n "${MENU_PASSWORD}" ] && passwd_arg=--password
 
+
+# make sure there we are the only running menu
+pgrep "${arg0}" && pkill "${arg0}"
+
+   # --monitor=1 \
 exec "${arg0}" \
-   --monitor=1 \
    --no-overlap \
    --ignorecase \
    --list=10 \
-- 
cgit 1.4.1