# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1362143738 -3600
# Node ID b5cae12411af8e19c965a10ce09ae60bb22f1e67
# Parent  3df649ec43eaeab34d1ec76caf76e32b358d635b
net.server_event: Remove unused local

diff -r 3df649ec43ea -r b5cae12411af net/server_event.lua
--- a/net/server_event.lua	Fri Mar 01 11:41:26 2013 +0100
+++ b/net/server_event.lua	Fri Mar 01 14:15:38 2013 +0100
@@ -460,7 +460,6 @@
 local handleclient;
 do
 	local string_sub = string.sub  -- caching table lookups
-	local string_len = string.len
 	local addevent = base.addevent
 	local socket_gettime = socket.gettime
 	function handleclient( client, ip, port, server, pattern, listener, sslctx )  -- creates an client interface