destroy_repository: ensure that files get closed.
commitd766c7206e87c516a8a7c7f52d5695214cedac9e
authormhagger <mhagger@be7e6eca-30d4-0310-a8e5-ac0d63af7087>
Fri, 17 May 2013 10:26:20 +0000 (17 10:26 +0000)
committermhagger <mhagger@be7e6eca-30d4-0310-a8e5-ac0d63af7087>
Fri, 17 May 2013 10:26:20 +0000 (17 10:26 +0000)
treeb9a19d1fabfba1a0ef931459bf17314424473ef2
parent747cde4fd894b07fcfa4c865be80a5e2d362f3ae
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