Joe Thornber 0fc7529c01 [cache_repair, thin_repair] fix bug introduced in recent patch
I hadn't realised that check_file_exists() also checked that it was
a regular file, which we don't want for the couple of uses I recently
added.

This patch adds an optional arg must_be_regular_file, and defaults
it to true, preserving the original behaviour.  The recent additions
have this set to false.
2019-10-14 09:21:38 +01:00
..
2013-08-16 13:39:12 +01:00
2013-08-16 13:39:12 +01:00
2014-01-23 00:46:03 +00:00
2016-09-30 11:21:20 -04:00