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: <[email protected]> |
| 2008-12-15 15:31:01 | srittau | link | issue2155 messages |
| 2008-12-15 15:31:00 | srittau | create | |
|