Message96074
Skip, I agree that it's hard to decide if we should have the class write
the header on __init__(). I figured starting off with a method to make
doing it "manually" is a good start; people can start using that, and if
it's deemed useful we can always add the auto-write later. |
|
Date |
User |
Action |
Args |
2009-12-07 21:02:31 | djc | set | recipients:
+ djc, skip.montanaro, ed_abraham, ivo |
2009-12-07 21:02:31 | djc | set | messageid: <1260219751.8.0.564463666124.issue1537721@psf.upfronthosting.co.za> |
2009-12-07 21:02:30 | djc | link | issue1537721 messages |
2009-12-07 21:02:30 | djc | create | |
|