# HG changeset patch
# User Julien Cristau <julien.cristau@logilab.fr>
# Date 1391007468 -3600
# Node ID 12dfce15c8ea0ed26720cab0ecd24cd9dfbcc528
# Parent  88a092a665f4743c7076a3c645cae885b6c08f21
[repo] Use a connection instead of a session in Repository.properties()

diff -r 88a092a665f4 -r 12dfce15c8ea server/repository.py
--- a/server/repository.py	Thu Jan 30 16:00:29 2014 +0100
+++ b/server/repository.py	Wed Jan 29 15:57:48 2014 +0100
@@ -598,9 +598,9 @@
 
         This is a public method, not requiring a session id.
         """
-        with self.internal_session() as session:
-            # don't use session.execute, we don't want rset.req set
-            return self.querier.execute(session, 'Any K,V WHERE P is CWProperty,'
+        with self.internal_cnx() as cnx, cnx.ensure_cnx_set:
+            # don't use cnx.execute, we don't want rset.req set
+            return self.querier.execute(cnx, 'Any K,V WHERE P is CWProperty,'
                                         'P pkey K, P value V, NOT P for_user U',
                                         build_descr=False)