Message100264
AFAICS, __index__ would be fine.
To make sure I understand your proposed solution correctly: You'd go through the argument list beforehand and cast everything that's not a number type or str to int by means of __index__? |
|
Date |
User |
Action |
Args |
2010-03-01 19:55:01 | inducer | set | recipients:
+ inducer, nnorwitz, georg.brandl, collinwinter, jafo, bob.ippolito, mark.dickinson, piman, giampaolo.rodola, benjamin.peterson |
2010-03-01 19:55:01 | inducer | set | messageid: <1267473301.7.0.235228035743.issue1530559@psf.upfronthosting.co.za> |
2010-03-01 19:55:00 | inducer | link | issue1530559 messages |
2010-03-01 19:55:00 | inducer | create | |
|