chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 407a97d) | patch
dgit: Fix on NFS (avoid leaking an open file in a directory to rm)
authorStéphane Glondu <glondu@debian.org>
Fri, 9 Aug 2019 05:16:46 +0000 (07:16 +0200)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2019 23:09:29 +0000 (00:09 +0100)
commita4e8e4dbccd6fd64f7e31cf7527e9a8bd0bfe806
treefb759e51c29030c0f1da9efbe143fdfb509f5788tree | snapshot
parent407a97d3fde83c07687df1ef2c24fbf57dc9cbe0commit | diff
dgit: Fix on NFS (avoid leaking an open file in a directory to rm)

The file debian/source/format was open by "dgit fetch" but never
closed, causing failure to remove the extracted tree on NFS.

Closes: #933827
Signed-off-by: Stéphane Glondu <glondu@debian.org>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.