![](https://secure.gravatar.com/avatar/fa0f7819f1825f596b384c19aa7dcf33.jpg?s=120&d=mm&r=g)
June 11, 2013
9:46 a.m.
Armin Rigo added the comment: A slightly more complete example that I tested: http://stackoverflow.com/a/16077568/1556290 ---------- nosy: +arigo _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue18033> _______________________________________