server/sources/__init__.py
changeset 7040 9b1f9bc74f5d
parent 6957 ffda12be2e9f
parent 7037 6a8235456fe1
child 7118 e094b3d4eb95
--- a/server/sources/__init__.py	Fri Feb 18 17:11:45 2011 +0100
+++ b/server/sources/__init__.py	Mon Mar 07 17:02:15 2011 +0100
@@ -572,7 +572,9 @@
         pass
     def cursor(self):
         return None # no actual cursor support
-
+    def close(self):
+        if hasattr(self.cnx, 'close'):
+            self.cnx.close()
 
 from cubicweb.server import SOURCE_TYPES