Björn Pedersen 61b8c842bd init: delete cache if not empty
As the the cache may be stale during update, offer the option
to delete it during init.

The default is  set to not delete the cache, so batch usage should
be safe.

Change-Id: I51cc6d8aeeed52d2e47aaea97cba625ee0d506fc
2016-10-06 16:19:50 +02:00
..
2016-10-06 16:19:50 +02:00
2016-08-18 02:45:45 +00:00
2016-06-14 21:12:02 +02:00