Message165470
Thanks for the interesting background and feedback. I was aware of the __enter__/__exit__ option but not the other information. And yes, I agree on the importance of trying and discussing any API before settling on it. The one I suggested was merely a point of departure. :) |
|
Date |
User |
Action |
Args |
2012-07-14 20:51:55 | chris.jerdonek | set | recipients:
+ chris.jerdonek, r.david.murray, michael.foord |
2012-07-14 20:51:55 | chris.jerdonek | set | messageid: <1342299115.22.0.757057344065.issue15351@psf.upfronthosting.co.za> |
2012-07-14 20:51:54 | chris.jerdonek | link | issue15351 messages |
2012-07-14 20:51:54 | chris.jerdonek | create | |
|