chiark / gitweb /
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)
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 --git a/dgit b/dgit
index 4bd2e0534ff21e14f564f0a7eefa81f5e380fe5f..0775a7c1f31a7337a2c57cde033d77b72af8a734 100755 (executable)
--- a/dgit
+++ b/dgit
@@ -4024,6 +4024,7 @@ sub get_source_format () {
     }
     $_ = <F>;
     F->error and confess "$!";
+    close F;
     chomp;
     return ($_, \%options);
 }