[tor-bugs] #2230 [Tor Relay]: microdescs never purged from authority cache

[Tor Bug Tracker & Wiki]

#2230: microdescs never purged from authority cache
-----------------------+----------------------------------------------------
 Reporter:  arma       |       Owner:  nickm           
     Type:  defect     |      Status:  assigned        
 Priority:  normal     |   Milestone:                  
Component:  Tor Relay  |     Version:  Tor: unspecified
 Keywords:             |      Parent:                  
-----------------------+----------------------------------------------------

Comment(by cypherpunks):

 x > y + C, x > y/2, for non empty y the last condition is redudant.

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/2230#comment:6>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online