Antoine Pitrou added the comment: Certainly not an official API anyway. Let eventlet get their stuff straight. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue22438> _______________________________________