# HG changeset patch # User Sylvain Thénault # Date 1268322103 -3600 # Node ID 0d0e5279f65e90012a47594b65d237906a8d73e6 # Parent 8c886610e5eeedbde0803daf9caaa50188eee0fc [repo stats] add cache size diff -r 8c886610e5ee -r 0d0e5279f65e server/repository.py --- a/server/repository.py Wed Mar 10 12:08:45 2010 +0100 +++ b/server/repository.py Thu Mar 11 16:41:43 2010 +0100 @@ -365,10 +365,15 @@ def stats(self): # XXX restrict to managers session? import threading results = {} - for hits, misses, title in ( - (self.querier.cache_hit, self.querier.cache_miss, 'rqlt_st'), - (self.system_source.cache_hit, self.system_source.cache_miss, 'sql'), + querier = self.querier + source = self.system_source + for size, maxsize, hits, misses, title in ( + (len(querier._rql_cache), self.config['rql-cache-size'], + querier.cache_hit, querier.cache_miss, 'rqlt_st'), + (len(source._cache), self.config['rql-cache-size'], + source.cache_hit, source.cache_miss, 'sql'), ): + results['%s_cache_size' % title] = '%s / %s' % (size, maxsize) results['%s_cache_hit' % title] = hits results['%s_cache_miss' % title] = misses results['%s_cache_hit_percent' % title] = (hits * 100) / (hits + misses)