Wed, 16 Nov 2016 23:29:28 -0500 |
Augie Fackler |
merge with stable
|
Sat, 12 Nov 2016 03:06:07 +0000 |
Jun Wu |
worker: stop using a separate thread waiting for children
|
Sat, 12 Nov 2016 03:07:22 +0000 |
Jun Wu |
worker: add a SIGCHLD handler to collect worker immediately
|
Tue, 15 Nov 2016 02:12:16 +0000 |
Jun Wu |
worker: make waitforworkers reentrant
|
Tue, 15 Nov 2016 02:10:40 +0000 |
Jun Wu |
worker: change "pids" to a set
|
Thu, 28 Jul 2016 20:57:07 +0100 |
Jun Wu |
worker: allow waitforworkers to be non-blocking
|
Thu, 28 Jul 2016 20:51:20 +0100 |
Jun Wu |
worker: wait worker pid explicitly
|
Thu, 28 Jul 2016 20:49:57 +0100 |
Jun Wu |
worker: move killworkers and waitforworkers up
|