Make Workbench() a context manager
authorSebastian Spaeth <Sebastian@SSpaeth.de>
Wed, 12 Dec 2012 12:50:32 +0000 (13:50 +0100)
committerSebastian Spaeth <Sebastian@SSpaeth.de>
Wed, 16 Jan 2013 19:14:55 +0000 (20:14 +0100)
commitc11c1994e61d79c0332f6782a589ea012ecf2473
tree421e9a1667154374bcba0cb9b4668d4ad53e30f7
parentf26c097d3ecb4c6dda476b823d3a567863677d21
Make Workbench() a context manager

This allows us to use "with Workbench() as foo: do_stuff..."
No consumers have been switched yet though.

Signed-off-by: Sebastian Spaeth <Sebastian@SSpaeth.de>
mediagoblin/workbench.py