From bca85a65f7a5b054df2edc1fb62ab9830deeebd4 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 28 Apr 2014 16:33:30 +0200
Subject: [PATCH] cannot use with

---
 system/TestAuthSfa.py | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/system/TestAuthSfa.py b/system/TestAuthSfa.py
index 8b47ea2..33c9524 100644
--- a/system/TestAuthSfa.py
+++ b/system/TestAuthSfa.py
@@ -11,11 +11,12 @@ from TestSliceSfa import TestSliceSfa
 
 def slice_sfa_mapper (method):
     def actual(self,*args, **kwds):
+        # used to map on several slices...
         overall=True
         slice_method = TestSliceSfa.__dict__[method.__name__]
-        with self.auth_sfa_spec['slice_spec'] as slice_spec:
-            test_slice_sfa = TestSliceSfa(self,slice_spec)
-            if not slice_method(test_slice_sfa, *args, **kwds): overall=False
+        slice_spec=self.auth_sfa_spec['slice_spec']
+        test_slice_sfa = TestSliceSfa(self,slice_spec)
+        if not slice_method(test_slice_sfa, *args, **kwds): overall=False
         return overall
     # restore the doc text
     actual.__doc__=TestSliceSfa.__dict__[method.__name__].__doc__
-- 
2.47.0