Do not use socket_ok .. but readable (as specified in precondition of read_stream_thread_aware
This commit is contained in:
@@ -54,7 +54,7 @@ feature -- Input
|
|||||||
do
|
do
|
||||||
src := source
|
src := source
|
||||||
last_string.wipe_out
|
last_string.wipe_out
|
||||||
if src.socket_ok then
|
if src.readable then
|
||||||
src.read_stream_thread_aware (nb)
|
src.read_stream_thread_aware (nb)
|
||||||
last_string.append_string (src.last_string)
|
last_string.append_string (src.last_string)
|
||||||
end
|
end
|
||||||
|
|||||||
Reference in New Issue
Block a user