| Sat, 12 Nov 2016 03:07:22 +0000 | Jun Wu | worker: add a SIGCHLD handler to collect worker immediately | changeset | files |
| Tue, 15 Nov 2016 02:12:16 +0000 | Jun Wu | worker: make waitforworkers reentrant | changeset | files |
| Tue, 15 Nov 2016 02:10:40 +0000 | Jun Wu | worker: change "pids" to a set | changeset | files |
| Thu, 28 Jul 2016 20:57:07 +0100 | Jun Wu | worker: allow waitforworkers to be non-blocking | changeset | files |