Close Stream bug files

2021-09-30 23:01:25 +02:00
parent 810d4c51f9
commit 807abfef4f
1 changed files with 4 additions and 0 deletions
--- a/tests-pl/issue1046-close-stream.pl
+++ b/tests-pl/issue1046-close-stream.pl
@@ -2,6 +2,10 @@
 :- use_module(library(time)).
 :- use_module(library(format)).

+% Manual test to fix issue 1046
+% Server must be executed first, then client
+% The expected error is an exception thrown here, not a panic
+
 test :-
    Addr = '0.0.0.0',
    Port = 5000,