# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1453424443 -3600
# Node ID 5a71aaa2c54241effd82b444f2fd518279744035
# Parent  95e4c81291ccd27e81548cd001a5a01eede504bd
server_select: Add logging of when servers are paused and resumed

diff -r 95e4c81291cc -r 5a71aaa2c542 net/server_select.lua
--- a/net/server_select.lua	Fri Jan 22 02:00:27 2016 +0100
+++ b/net/server_select.lua	Fri Jan 22 02:00:43 2016 +0100
@@ -213,6 +213,7 @@
 				socket = nil;
 			end
 			handler.paused = true;
+			out_put("server.lua: server [", ip, "]:", serverport, " paused")
 		end
 	end
 	handler.resume = function( )
@@ -225,6 +226,7 @@
 			_socketlist[ socket ] = handler
 			_fullservers[ handler ] = nil
 			handler.paused = false;
+			out_put("server.lua: server [", ip, "]:", serverport, " resumed")
 		end
 	end
 	handler.ip = function( )