equal
deleted
inserted
replaced
644 The former should finish in the _permanent structure after some |
644 The former should finish in the _permanent structure after some |
645 warmup. |
645 warmup. |
646 |
646 |
647 Occasional elements can be buggy requests (server-side) or |
647 Occasional elements can be buggy requests (server-side) or |
648 end-user (web-ui provided) requests. These have to be cleaned up |
648 end-user (web-ui provided) requests. These have to be cleaned up |
649 when they fill the cache, without evicting the usefull, frequently |
649 when they fill the cache, without evicting the useful, frequently |
650 used entries. |
650 used entries. |
651 """ |
651 """ |
652 # quite arbitrary, but we want to never |
652 # quite arbitrary, but we want to never |
653 # immortalize some use-a-little query |
653 # immortalize some use-a-little query |
654 _maxlevel = 15 |
654 _maxlevel = 15 |