commit | 19f3a5c6120c5d845eb942e67413c03c0c008a87 | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Mar 08 08:09:10 2018 +0000 |
committer | nicm <nicm> | Thu Mar 08 08:09:10 2018 +0000 |
tree | fbd4fb03833b499bfa23d77394ba5b6365e00a01 | |
parent | 85c48aafffd4e520eea2e598ea199e7b16f787cc [diff] |
Add a missing client-detached hook when the server shuts down, and do not exit until jobs started from run-shell/if-shell have finished (add a job flags member and a flag to indicate other jobs). GitHub issue 1245.