Message77872
This API is too "magical" to my liking and doesn't really reflect what
context manager's are supposed to do, i.e. handling resources. Also, I
don't see much advantage over:
group = OptionGroup(parser, "Group name")
group.add_option(...)
parser.add_option_group(group)
Finally, the __exit__ handler adds the option group to the parser in any
case, whether there was an exception raised inside the block or not. |
|
Date |
User |
Action |
Args |
2008-12-15 15:31:02 | srittau | set | recipients:
+ srittau, gward, jafo, hoffman |
2008-12-15 15:31:02 | srittau | set | messageid: <1229355062.29.0.454979229492.issue2155@psf.upfronthosting.co.za> |
2008-12-15 15:31:01 | srittau | link | issue2155 messages |
2008-12-15 15:31:00 | srittau | create | |
|