From: Adrián Arroyo Calle Date: Thu, 30 Sep 2021 21:01:25 +0000 (+0200) Subject: Close Stream bug files X-Git-Tag: v0.9.0~40^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=807abfef4fe1f698a5cbbea4eac6de673c2dd486;p=scryer-prolog.git Close Stream bug files --- diff --git a/tests-pl/issue1046-close-stream.pl b/tests-pl/issue1046-close-stream.pl index 0ac47fcc..63792059 100644 --- 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,