changeset: 2696:c26d9fd20d55
tag: tip
parent: 2691:19101538ad58
user: Kris Maglione <kris_AT_suckless.org>
date: Thu Jun 03 10:57:34 2010 -0400
files: cmd/wmii/area.c cmd/wmii/ewmh.c
description:
Check clients for ping response before sending Unresponsive message. Closes issue #186.
diff -r 19101538ad58 -r c26d9fd20d55 cmd/wmii/area.c
--- a/cmd/wmii/area.c Wed Jun 02 17:31:08 2010 -0400
+++ b/cmd/wmii/area.c Thu Jun 03 10:57:34 2010 -0400
@@ -273,7 +273,7 @@
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 -r 19101538ad58 -r c26d9fd20d55 cmd/wmii/ewmh.c
--- a/cmd/wmii/ewmh.c Wed Jun 02 17:31:08 2010 -0400
+++ b/cmd/wmii/ewmh.c Thu Jun 03 10:57:34 2010 -0400
@@ -79,7 +79,7 @@
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++;
}
Received on Thu Jun 03 2010 - 14:57:53 UTC
This archive was generated by hypermail 2.2.0 : Thu Jun 03 2010 - 15:00:10 UTC