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
..
2016-07-11 14:53:03 +01:00
2013-10-10 10:18:46 +01:00
2013-10-10 10:18:46 +01:00
2013-11-19 10:23:35 +00:00
2016-02-16 16:45:44 +00:00