debian/docs
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Fri, 24 Mar 2017 15:57:54 +0100
changeset 2240 ecb993892c61
parent 1103 d1ca81f9e458
permissions -rw-r--r--
stablerange: warm cache before using it server side We make sure the cache is fully up to date before starting to use it. Updating all value is more efficient and this give us a single point where we update and write on disk. Hopefully the cache have been kept up to date as we go anyway.

html
README