changeset 184:81d264d6fb57

created
author 127.0.0.1
date Mon, 03 Feb 2014 12:45:40 +0100
parents fdb3afaaf6fb
children c620f427b0ae
files finalizer
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/finalizer	Mon Feb 03 12:44:46 2014 +0100
+++ b/finalizer	Mon Feb 03 12:45:40 2014 +0100
@@ -18,4 +18,7 @@
         return self
     def __exit__(self, exc_type, exc_value, traceback):
         release_resource(self.resource)
+
+with Resource() as resource:
+    ...
 }}}
\ No newline at end of file