server/repository.py
branchstable
changeset 9272 68744f5154c4
parent 9267 24d9b86dfa54
child 9302 af36f459d2f0
child 9731 027bfc467a46
--- a/server/repository.py	Mon Oct 07 15:13:51 2013 +0200
+++ b/server/repository.py	Thu Oct 10 12:30:02 2013 +0200
@@ -1009,7 +1009,7 @@
 
     def _get_session(self, sessionid, setcnxset=False, txid=None,
                      checkshuttingdown=True):
-        """return the user associated to the given session identifier"""
+        """return the session associated with the given session identifier"""
         if checkshuttingdown and self.shutting_down:
             raise ShuttingDown('Repository is shutting down')
         try: