backup/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

check against capacity not count

Browse Source
This commit is contained in:
Jocelyn Fiat
2013-03-29 15:09:34 +01:00
parent 3bc3e3b874
commit 1fcc69b268
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
library/server/ewsgi/specification/stream/wgi_input_stream.e
View File

@@ -49,7 +49,7 @@ feature -- Input
is_open_read: is_open_read is_open_read: is_open_read
not_end_of_input: not end_of_input not_end_of_input: not end_of_input
a_string_not_void: a_string /= Void 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_large_enough: nb > 0
nb_small_enough: nb <= a_string.capacity - pos + 1 nb_small_enough: nb <= a_string.capacity - pos + 1
local local