python: gevent puller fix