From a76eb7526711804e119950264d3caa63ae1c0484 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Wed, 16 Nov 2011 07:25:29 +0100
Subject: [PATCH] removed unused local variables

---
 .../server/ewsgi/connectors/nino/src/wgi_nino_input_stream.e    | 2 --
 1 file changed, 2 deletions(-)

diff --git a/library/server/ewsgi/connectors/nino/src/wgi_nino_input_stream.e b/library/server/ewsgi/connectors/nino/src/wgi_nino_input_stream.e
index 48493327..420a1df3 100644
--- a/library/server/ewsgi/connectors/nino/src/wgi_nino_input_stream.e
+++ b/library/server/ewsgi/connectors/nino/src/wgi_nino_input_stream.e
@@ -36,8 +36,6 @@ feature -- Input
 	read_character
 			-- Read the next character in input stream.
 			-- Make the result available in `last_character'.
-		local
-			s: detachable STRING
 		do
 			if source.socket_ok then
 				source.read_character