diff contrib/bash_completion @ 30425:03f7aa2bd0e3

worker: discard waited pid by anyone who noticed it first This makes sure all waited pids are removed before calling killworkers() even if waitpid()-pids.discard() sequence is interrupted by another SIGCHLD.
author Yuya Nishihara <yuya@tcha.org>
date Thu, 17 Nov 2016 20:57:09 +0900
parents ba22059602e3
children fdbe4eafa9c2
line wrap: on
line diff