This commit is contained in:
Jaremy Creechley 2024-05-20 15:51:21 +03:00
parent a96ea80148
commit 30e087efb2
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300

View File

@ -53,9 +53,8 @@ proc prove*[H](
without signal =? ThreadSignalPtr.new().mapFailure, err: without signal =? ThreadSignalPtr.new().mapFailure, err:
return failure(err) return failure(err)
defer: defer:
let sigRes = signal.close() if err =? signal.close().mapFailure.errorOption():
if sigRes.isErr: error "Error closing signal", msg = $err.msg
raise (ref Defect)(msg: sigRes.error())
let args = ProveTaskArgs(signal: signal, params: self.params) let args = ProveTaskArgs(signal: signal, params: self.params)
proc spawnTask(): Flowvar[Result[CircomProof, string]] = proc spawnTask(): Flowvar[Result[CircomProof, string]] =