server/repository.py
branchstable
changeset 9132 b6bcf99504c9
parent 9008 e0aa7cf8abf8
child 9165 7ebf3b1cdb4c
--- a/server/repository.py	Fri May 31 11:13:06 2013 +0200
+++ b/server/repository.py	Wed Jun 26 09:35:54 2013 +0200
@@ -1661,7 +1661,7 @@
                 # client was not yet connected to the repo
                 return
             if not session.closed:
-                session.close()
+                self.close(session.id)
         daemon.removeConnection = removeConnection
         return daemon