using socket_ok does not sounds ok on linux

2012-12-21 07:19:13 +01:00
parent a7e6651806
commit 4ff7b33471
1 changed files with 1 additions and 1 deletions
--- a/library/server/ewsgi/connectors/nino/src/wgi_nino_input_stream.e
+++ b/library/server/ewsgi/connectors/nino/src/wgi_nino_input_stream.e
@@ -40,7 +40,7 @@ feature -- Input
 			src: like source
 		do
 			src := source
-			if src.socket_ok then
+			if src.readable then
 				src.read_character
 				last_character := src.last_character
 			else