Added timer on server exit to wait a bit for new clients.
Don't remove the socket until the registry is closed to avoid a race.

diff --git a/server/object.h b/server/object.h
index 378a1ae..6ccbeaf 100644
--- a/server/object.h
+++ b/server/object.h
@@ -198,7 +198,7 @@
 
   /* command-line options */
 extern int debug_level;
-extern int persistent_server;
+extern int master_socket_timeout;
 
   /* server start time used for GetTickCount() */
 extern unsigned int server_start_ticks;