Espie Marc added the comment: yep, casting to (void) would be safer indeed. didn't think of that one ;) ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue30459> _______________________________________