# HG changeset patch
# User daurnimator <quae@daurnimator.com>
# Date 1421694553 18000
# Node ID 01cd51777abb9df5c718c0d6462543cb3b206045
# Parent  32c84e1f706d40ff8bb49020a8b66c0c47f4db52
net.server_select: Remove unused code

diff -r 32c84e1f706d -r 01cd51777abb net/server_select.lua
--- a/net/server_select.lua	Mon Jan 19 14:05:37 2015 -0500
+++ b/net/server_select.lua	Mon Jan 19 14:09:13 2015 -0500
@@ -31,7 +31,6 @@
 
 --// lua libs //--
 
-local os = use "os"
 local table = use "table"
 local string = use "string"
 local coroutine = use "coroutine"
@@ -287,7 +286,6 @@
 	local bufferqueuelen = 0	-- end of buffer array
 
 	local toclose
-	local fatalerror
 	local needtls
 
 	local bufferlen = 0
@@ -499,7 +497,6 @@
 			return dispatch( handler, buffer, err )
 		else	-- connections was closed or fatal error
 			out_put( "server.lua: client ", tostring(ip), ":", tostring(clientport), " read error: ", tostring(err) )
-			fatalerror = true
 			_ = handler and handler:force_close( err )
 			return false
 		end
@@ -539,7 +536,6 @@
 			return true
 		else	-- connection was closed during sending or fatal error
 			out_put( "server.lua: client ", tostring(ip), ":", tostring(clientport), " write error: ", tostring(err) )
-			fatalerror = true
 			_ = handler and handler:force_close( err )
 			return false
 		end
@@ -1011,8 +1007,6 @@
 	end
 end
 
---// EXPERIMENTAL //--
-
 ----------------------------------// BEGIN //--
 
 use "setmetatable" ( _socketlist, { __mode = "k" } )