From 807abfef4fe1f698a5cbbea4eac6de673c2dd486 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Thu, 30 Sep 2021 23:01:25 +0200 Subject: [PATCH] Close Stream bug files --- tests-pl/issue1046-close-stream.pl | 4 ++++ 1 file changed, 4 insertions(+) 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, -- 2.54.0