Message205056
Okay, yeah. I assumed calling .close() was best practice. If it's not, then...
Guido, since this is your library, I delegate the decision to you. You guys can add this any time before I tag beta 2 if Guido's on board. |
|
Date |
User |
Action |
Args |
2013-12-02 20:50:20 | larry | set | recipients:
+ larry, gvanrossum, pitrou, vstinner |
2013-12-02 20:50:20 | larry | set | messageid: <1386017420.94.0.636898900127.issue19860@psf.upfronthosting.co.za> |
2013-12-02 20:50:20 | larry | link | issue19860 messages |
2013-12-02 20:50:20 | larry | create | |
|