chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9810537) | patch
When cleaning up after failed clone, stat the to-be-cleaned-up directory before runni...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 May 2016 14:24:08 +0000 (15:24 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 1 Jul 2016 21:37:38 +0000 (22:37 +0100)
commit6b6d2e426e5ee6b08c706d57db7502d80e00e82b
treee82e40517d2eb6bd8ea16c62cb780336c7d38094tree | snapshot
parent9810537db1cd42febc3283a69fa6c09b5b212f30commit | diff
When cleaning up after failed clone, stat the to-be-cleaned-up directory before running rmtree on it.  Closes:#796773.
debian/changelog diff | blob | history
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.