branch | stable |
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