log

age author description
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