diff options
author | Stéphane Glondu <glondu@debian.org> | 2019-08-09 07:16:46 +0200 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-08-11 00:09:29 +0100 |
commit | a4e8e4dbccd6fd64f7e31cf7527e9a8bd0bfe806 (patch) | |
tree | fb759e51c29030c0f1da9efbe143fdfb509f5788 | |
parent | 407a97d3fde83c07687df1ef2c24fbf57dc9cbe0 (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>
-rwxr-xr-x | dgit | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4024,6 +4024,7 @@ sub get_source_format () { } $_ = <F>; F->error and confess "$!"; + close F; chomp; return ($_, \%options); } |