From 7f233da10c6fef0b91de1d21e390e4165e55c9ee Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= Date: Sun, 20 Jul 2025 23:53:01 +0200 Subject: [PATCH] fix timeout default value in process_wait/3 --- src/lib/process.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/process.pl b/src/lib/process.pl index 7a595c0b..b17b3224 100644 --- a/src/lib/process.pl +++ b/src/lib/process.pl @@ -39,7 +39,7 @@ process_wait(Pid, Status, Options) :- must_be(integer, Pid), must_be_known_options([timeout], [], Options),check_options( [ - ([timeout], valid_timeout, infinite, timeout(Timeout)) + ([timeout], valid_timeout, timeout(infinite), timeout(Timeout)) ], Options ), -- 2.54.0