wmii

commit 7b50a929c417f1f30c0f2c674d1013b498b61ff5
parent d6c806a01f9b9208724f2f5c57675de0b4a0d1d0
Author: Kris Maglione <kris@suckless.org>
Date:   Thu,  3 Jun 2010 10:57:34 -0400

Check clients for ping response before sending Unresponsive message. Closes issue #186.

Diffstat:
cmd/wmii/area.c
 | 
2
+-
cmd/wmii/ewmh.c
 | 
2
+-

2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/cmd/wmii/area.c b/cmd/wmii/area.c
@@ -273,7 +273,7 @@ area_detach(Frame *f) {
 		column_detach(f);
 
 	if(v->sel->sel == nil && v->floating->sel)
-	if(v->floating->sel->client->nofocus)
+	if(!v->floating->sel->client->nofocus)
 		v->sel = v->floating;
 
 	view_arrange(v);
diff --git a/cmd/wmii/ewmh.c b/cmd/wmii/ewmh.c
@@ -79,7 +79,7 @@ ewmh_init(void) {
 void
 ewmh_checkresponsive(Client *c) {
 
-	if(nsec() / 1000000 - c->w.ewmh.ping > PingTime) {
+	if(c->w.ewmh.ping > 0 && nsec() / 1000000 - c->w.ewmh.ping > PingTime) {
 		event("Unresponsive %#C\n", c);
 		c->dead++;
 	}