bugfix invalid return of __taskpool_push()