# HG changeset patch # User Julien Cristau # Date 1438157936 -7200 # Node ID 9af9d59a19727a57186116f71b0fd434e6a58e76 # Parent c70606673384f6b66889c51e45511a6a62494c26 [server/repo] kill repo.pinfo() session.cnxset is dead, this can't work. diff -r c70606673384 -r 9af9d59a1972 server/repository.py --- a/server/repository.py Wed Jul 29 10:18:23 2015 +0200 +++ b/server/repository.py Wed Jul 29 10:18:56 2015 +0200 @@ -387,13 +387,6 @@ def _free_cnxset(self, cnxset): self._cnxsets_pool.put_nowait(cnxset) - def pinfo(self): - # XXX: session.cnxset is accessed from a local storage, would be interesting - # to see if there is a cnxset set in any thread specific data) - return '%s: %s (%s)' % (self._cnxsets_pool.qsize(), - ','.join(session.user.login for session in self._sessions.itervalues() - if session.cnxset), - threading.currentThread()) def shutdown(self): """called on server stop event to properly close opened sessions and connections