diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-07-28 15:24:17 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-07-28 15:24:17 +0100 |
| commit | dfbd234c7f11ce1aaa49937f1313a8214505c735 (patch) | |
| tree | 39d59dec4acbb8c1411607559d9b63ccbdd27c0e /scripts | |
| parent | 0551f3103af1b31e4cf03bd81c191f34837ef7d1 (diff) | |
git-cache-proxy: housekeeping: check errno value from stat after deletion
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/git-cache-proxy | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/git-cache-proxy b/scripts/git-cache-proxy index 0c6ba55..b0c9502 100755 --- a/scripts/git-cache-proxy +++ b/scripts/git-cache-proxy @@ -423,6 +423,8 @@ sub housekeeping () { logm 'info', "problem deleting: $file: $message"; } die "$dir: problem deleting file(s)\n"; + } elsif ($! != ENOENT) { + die "$tdir: cannot stat after deletion: $!\n"; } } }; |