tree a56620f1a35fee5e508ff033b48903f810a5dc2a
parent 3de1e94e9805dc309d36cb30419239a75215e1ff
author Hector Oswaldo Caballero <hector.caballero@ericsson.com> 1435849219 -0400
committer Hector Oswaldo Caballero <hector.caballero@ericsson.com> 1446822185 +0000

Periodically clean outdated session cache files

When a user logs out, the corresponding web session cache file is
deleted. When the web session expires, however, the file remains in the
cache directory. In a busy Gerrit server using this plugin, the size of
the cache directory can reach hundreds of megabytes within a few months.

Remove outdated session cache files in a periodic way. Cache files are
considered as outdated when its expiration date has passed.

Change-Id: Id195f2b04ef4b323ce5c5a1c024e62ebeea39720