aww, that fixes the sig issue

This commit is contained in:
Jaremy Creechley 2023-09-14 15:51:13 -07:00
parent 23725cf74a
commit 1b7e6d1613
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300

View File

@ -108,7 +108,7 @@ method put*(
# wait for taskpool work to finish # wait for taskpool work to finish
wait(sig). wait(sig).
then(proc () = then(proc () =
os.sleep(200) os.sleep(200) # sleep to help separate debugging output
let val = ret.convert(void) let val = ret.convert(void)
putRes.complete(val) putRes.complete(val)
).cancelled(proc() = ).cancelled(proc() =