Close Stream test feedback

diff --git a/tests-pl/issue1046-close-stream-client.pl b/tests-pl/issue1046-close-stream-client.pl
index db192ddc66549ab44860a3d888a421b27a51b123..edfcd13017cb4f0f26efc9f8d748db70207a0f4a 100644 (file)
--- a/tests-pl/issue1046-close-stream-client.pl
+++ b/tests-pl/issue1046-close-stream-client.pl
@@ -7,26 +7,6 @@ test :-
     Addr = '0.0.0.0',
     Port = 5000,
     socket_client_open(Addr:Port, Stream, [type(binary)]),
-    read_line(Stream, Line),
+    read_line_to_chars(Stream, Line, []),
     write(Line),
     close(Stream).
-
-
-read_line(Stream, Line) :-
-    get_byte(Stream, Char),
-    ( Char = -1 ->
-        Line = []
-    ; Char = 13 ->
-        read_line(Stream, Line)
-    ; Char = 10 ->
-        Line = []
-    ;   (read_line(Stream, Line0), Line = [Char|Line0])
-    ).
-
-read_message(Stream, [Cs|Message]) :-
-    read_line(Stream, Bs),
-    chars_utf8bytes(Cs, Bs),
-    ( Cs = "." ->
-        Message = []
-    ;   read_message(Stream, Message)
-    ).

diff --git a/tests-pl/issue1046-close-stream.pl b/tests-pl/issue1046-close-stream.pl
index 63792059167aacdf122b1bb29e82035b409d0170..e29202f30f25b3dfbff438aa016ddaead024e32b 100644 (file)
--- a/tests-pl/issue1046-close-stream.pl
+++ b/tests-pl/issue1046-close-stream.pl
@@ -9,7 +9,7 @@
 test :-
     Addr = '0.0.0.0',
     Port = 5000,
-    once(socket_server_open(Addr:Port, Socket)),
+    socket_server_open(Addr:Port, Socket),
     format("Listening at port ~d\n", [Port]),
     socket_server_accept(Socket, _Client, Stream, [type(binary)]),
     format(Stream, "FIRST\r\n", []),