# HG changeset patch
# User daurnimator <quae@daurnimator.com>
# Date 1421330708 18000
# Node ID 31a8b3bfb31d6145c3a8a2b789d2d3f92eed0dc9
# Parent  f923140ee7c5e4b8b5fa9b79d71466bd5fb1f579
net.server_select: In add_task timer callback, use passed in time rather than re-fetching

diff -r f923140ee7c5 -r 31a8b3bfb31d net/server_select.lua
--- a/net/server_select.lua	Thu Jan 15 09:03:00 2015 -0500
+++ b/net/server_select.lua	Thu Jan 15 09:05:08 2015 -0500
@@ -848,8 +848,7 @@
 		end
 	end
 
-	addtimer(function()
-		local current_time = luasocket_gettime();
+	addtimer(function(current_time)
 		if #new_data > 0 then
 			for _, d in pairs(new_data) do
 				table_insert(data, d);