wmii

commit 3615845bdd8d18d3cf62585f2849a6a5992a7ea7
parent 42aa2cec382e01c1672b4f63149d47418c6a46b6
Author: Anselm R. Garbe <garbeam@wmii.de>
Date:   Mon, 13 Mar 2006 08:56:22 +0100

replaced pidfile based wmiirc start/stop mechanism to /event based (since we allow writes to /event which get broadcasted among all consumers)


Diffstat:
rc/wmiirc
 | 
17
++++++++++-------

1 file changed, 10 insertions(+), 7 deletions(-)
diff --git a/rc/wmiirc b/rc/wmiirc
@@ -16,12 +16,9 @@ proglist() {
 	done | sort | uniq
 }
 
-pidfile=/tmp/ns.$USER.$DISPLAY/wmiircpid
-test -f $pidfile && kill `cat $pidfile` 2>/dev/null
-echo $$ >$pidfile
-
 # give wmiiwm a chance to start
-while ! wmiir read / > /dev/null 2>&1; do
+while ! echo Start wmiirc | wmiir write /event > /dev/null 2>&1
+do
 	sleep 1
 done
 
@@ -104,6 +101,12 @@ do
 	set -- $event
 	type="$1"; shift
 	case "$type" in
+	Start)
+		if test $1 = "wmiirc"
+		then
+			exit 0
+		fi
+		;;
 	NewTag)
 		wmiir create /bar/$1
 		if test $1 = "$oldtag"
@@ -130,7 +133,8 @@ do
 		$MODKEY-Control-c)
 			xwrite /ws/sel/sel/ctl kill;;
 		$MODKEY-Control-w,y)
-			wmiirc &;;
+			wmiirc &
+			exit 0;;
 		$MODKEY-Control-q,y)
 			xwrite /ctl quit;;
 		$MODKEY-Control-p)
@@ -172,4 +176,3 @@ do
 		esac;;
 	esac
 done &
-echo $! >$pidfile