use unique IDs for pings rather than a timestamp. avoids duplicates.

[chaz/openbox] / openbox / ping.h

diff --git a/openbox/ping.h b/openbox/ping.h
index 0b6dfeadbf51b978dd0e6c45abae1ef0d0a63868..9f5c157b704da0e251aa58fedd14b30a6df9c130 100644 (file)
--- a/openbox/ping.h
+++ b/openbox/ping.h
@@ -36,6 +36,6 @@ typedef void (*ObPingEventHandler) (struct _ObClient *c, gboolean dead);
 void ping_start(struct _ObClient *c, ObPingEventHandler h);
 void ping_stop(struct _ObClient *c);
 
-void ping_got_pong(Time timestamp);
+void ping_got_pong(guint32 id);
 
 #endif