server: Make user handles ints instead of pointers.
diff --git a/server/sock.c b/server/sock.c
index 38f9d65..bf67d73 100644
--- a/server/sock.c
+++ b/server/sock.c
@@ -272,7 +272,7 @@
     }
     if (sock->window)
     {
-        if (debug_level) fprintf(stderr, "signalling events %x win %p\n", events, sock->window );
+        if (debug_level) fprintf(stderr, "signalling events %x win %08x\n", events, sock->window );
         for (i = 0; i < FD_MAX_EVENTS; i++)
         {
             int event = event_bitorder[i];