mirror of
https://github.com/0intro/wmii
synced 2025-02-16 14:24:00 +03:00
Fix ping lag calculation on 32 bit systems. Closes issue #187.
This commit is contained in:
parent
217ce27a4b
commit
eb54fce1b5
@ -78,7 +78,7 @@ ewmh_init(void) {
|
|||||||
|
|
||||||
inline bool
|
inline bool
|
||||||
ewmh_responsive_p(Client *c) {
|
ewmh_responsive_p(Client *c) {
|
||||||
return c->w.ewmh.ping == 0 || nsec() / 1000000 - c->w.ewmh.ping < PingTime;
|
return c->w.ewmh.ping == 0 || (ulong)(nsec() / 1000000) - c->w.ewmh.ping < PingTime;
|
||||||
}
|
}
|
||||||
|
|
||||||
void
|
void
|
||||||
|
Loading…
x
Reference in New Issue
Block a user