From d766c7206e87c516a8a7c7f52d5695214cedac9e Mon Sep 17 00:00:00 2001
From: mhagger <mhagger@be7e6eca-30d4-0310-a8e5-ac0d63af7087>
Date: Fri, 17 May 2013 10:26:20 +0000
Subject: [PATCH] destroy_repository: ensure that files get closed.

git-svn-id: http://cvs2svn.tigris.org/svn/cvs2svn/trunk@5427 be7e6eca-30d4-0310-a8e5-ac0d63af7087
---
 contrib/destroy_repository.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/contrib/destroy_repository.py b/contrib/destroy_repository.py
index f4e336d2..0f42772b 100755
--- a/contrib/destroy_repository.py
+++ b/contrib/destroy_repository.py
@@ -347,14 +347,16 @@ class FileDestroyer:
         tmp_filename = get_tmp_filename()
         f = open(tmp_filename, 'wb')
         new_filename = rewrite_filename(filename)
+        oldf = open(filename, 'rb')
         parse(
-            open(filename, 'rb'),
+            oldf,
             DestroyerFilterSink(
                 self.author_substituter,
                 self.log_substituter,
                 WriteRCSFileSink(f),
                 )
             )
+        oldf.close()
         f.close()
 
         # Replace the original file with the new one:
-- 
2.11.4.GIT