Generate replacement filename _before_ filenames in log messages are handled.
commit7e3771120262d176705a78430c9cd7dbf840a1da
authormhagger <mhagger@be7e6eca-30d4-0310-a8e5-ac0d63af7087>
Tue, 21 Oct 2008 12:52:53 +0000 (21 12:52 +0000)
committermhagger <mhagger@be7e6eca-30d4-0310-a8e5-ac0d63af7087>
Tue, 21 Oct 2008 12:52:53 +0000 (21 12:52 +0000)
tree3f7b59564242395e4306a7e9eb1a1d43689714d1
parentc9d65e276793cc06a744e240ce40b3c3fcc3f226
Generate replacement filename _before_ filenames in log messages are handled.

* contrib/destroy_repository.py (FileDestroyer.destroy_file): Generate
  replacement filename _before_ filenames in log messages are handled.

Patch by: Johan Herland <johan@herland.net>

git-svn-id: http://cvs2svn.tigris.org/svn/cvs2svn/trunk@4622 be7e6eca-30d4-0310-a8e5-ac0d63af7087
contrib/destroy_repository.py