rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix timeout default value in process_wait/3

Browse Source
This commit is contained in:
Bennet Bleßmann
2025-07-20 23:53:01 +02:00
committed by Bennet Bleßmann
parent ff546a0f9a
commit 7f233da10c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/process.pl
View File

@@ -39,7 +39,7 @@ process_wait(Pid, Status, Options) :-
must_be(integer, Pid), must_be(integer, Pid),
must_be_known_options([timeout], [], Options),check_options( must_be_known_options([timeout], [], Options),check_options(
[ [
([timeout], valid_timeout, infinite, timeout(Timeout)) ([timeout], valid_timeout, timeout(infinite), timeout(Timeout))
], ],
Options Options
), ),