patch x11/jgmenu jgmenu_run

Hi all,

this changes jgmenu_run to use pkill instead of killall and avoids therefore
starting multiple instances of jgmenu when invoked by jgmenu_run e.g. via
tint2 and speeds up jgmenu notable.

Index: patches/patch-src_jgmenu_run
===================================================================
RCS file: patches/patch-src_jgmenu_run
diff -N patches/patch-src_jgmenu_run
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ patches/patch-src_jgmenu_run 8 Sep 2020 19:18:45 -0000
@@ -0,0 +1,14 @@
+$OpenBSD$
+
+Index: src/jgmenu_run
+--- src/jgmenu_run.orig
++++ src/jgmenu_run
+@@ -57,7 +57,7 @@ then
+ if test -e ${JGMENU_LOCKFILE}
+ then
+ send_tint2_env_vars_to_jgmenu
+- if killall -SIGUSR1 jgmenu >/dev/null 2>&1
++ if pkill -USR1 jgmenu >/dev/null 2>&1
+ then
+ exit 0
+ else

--

With kind regards / Með bestu kveðju / Mit freundlichen Grüßen

Uwe Werler