]> git.tue.mpg.de Git - dss.git/commit
Merge branch 'refs/heads/t/kill-w'
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 18 Nov 2017 14:54:03 +0000 (15:54 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 18 Nov 2017 14:56:55 +0000 (15:56 +0100)
commit324d1364004376fa0b018afcb57cfe14aca7fcdb
tree55f9db1093c89c81c7f375dab49c29e2370131b1
parentffce5ac0f8d17dad30fa0c2fee32aef9eadecf27
parentfaed24aec8859d232fe3c0da415265e0de099ce4
Merge branch 'refs/heads/t/kill-w'

Two patches which make life easier for shutdown scripts which need
to terminate the dss process, but would like to wait until the exit
hook completed.

The merge conflicted in dss.suite, but this was trivial to fix.

Cooking for a week.

* refs/heads/t/kill-w:
  kill: New option --wait.
  run: Wait for children to die.
NEWS
dss.c
dss.suite
err.h