Close Stream test feedback

2021-09-30 23:46:52 +02:00
parent 807abfef4f
commit f70685d53c
2 changed files with 2 additions and 22 deletions
--- 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)
-    ).