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 |
Thu, 28 Jul 2016 20:51:20 +0100 | Jun Wu | worker: wait worker pid explicitly | changeset | files |
Thu, 28 Jul 2016 20:49:57 +0100 | Jun Wu | worker: move killworkers and waitforworkers up | changeset | files |
Fri, 11 Nov 2016 21:11:17 +0000 | Jun Wu | osutil: implement setprocname to set process title for some platforms | changeset | files |
Fri, 11 Nov 2016 20:45:40 +0000 | Jun Wu | setup: test setproctitle before building osutil | changeset | files |