Christian Heimes added the comment: both sounds like a good idea. ---------- nosy: +tiran _____________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue1762972> _____________________________________