git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2eb51ed) | patch
jobs: Wait for completion even in the error case.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 10 Jan 2020 19:38:43 +0000 (19:38 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 10 Jan 2020 19:38:43 +0000 (19:38 +0000)
commitb8890796f260449084d5be3c036f9c479c38a5ce
treeb063020c451144f6e30faac8042da8fd2b3eb9b4tree | snapshot
parent2eb51edbee2ed214e23a765ad72e53348476b243commit | diff
jobs: Wait for completion even in the error case.

Previously if we hit an error (last_exn being set) then we exited the
loop immediately and re-raised the exception.  However this means jobs
which are still running would continue to run after goals exited.
Move the wait code outside the loop to ensure we always wait for jobs
to complete even in the error case.
src/jobs.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.