summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStéphane Glondu <glondu@debian.org>2019-08-09 07:16:46 +0200
committerIan Jackson <ijackson@chiark.greenend.org.uk>2019-08-11 00:09:29 +0100
commita4e8e4dbccd6fd64f7e31cf7527e9a8bd0bfe806 (patch)
treefb759e51c29030c0f1da9efbe143fdfb509f5788
parent407a97d3fde83c07687df1ef2c24fbf57dc9cbe0 (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-xdgit1
1 files changed, 1 insertions, 0 deletions
diff --git a/dgit b/dgit
index 4bd2e05..0775a7c 100755
--- a/dgit
+++ b/dgit
@@ -4024,6 +4024,7 @@ sub get_source_format () {
}
$_ = <F>;
F->error and confess "$!";
+ close F;
chomp;
return ($_, \%options);
}