From 1fcc69b268361da1846058e17bdb1fb777e5916e Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 29 Mar 2013 15:09:34 +0100 Subject: [PATCH] check against capacity not count --- library/server/ewsgi/specification/stream/wgi_input_stream.e | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/server/ewsgi/specification/stream/wgi_input_stream.e b/library/server/ewsgi/specification/stream/wgi_input_stream.e index 13a462f3..d5c6b4dc 100644 --- a/library/server/ewsgi/specification/stream/wgi_input_stream.e +++ b/library/server/ewsgi/specification/stream/wgi_input_stream.e @@ -49,7 +49,7 @@ feature -- Input is_open_read: is_open_read not_end_of_input: not end_of_input a_string_not_void: a_string /= Void - valid_position: a_string.valid_index (pos) + valid_position: pos > 0 and pos <= a_string.capacity nb_large_enough: nb > 0 nb_small_enough: nb <= a_string.capacity - pos + 1 local