Renaming a database does not rename the downloadable files

[MJochim]

For downloading a database, users first have to "prepare (a certain version of) the database for download." A ZIP file is then created on the server under <project_dir>/downloads/<database_name>_<git_revision>.zip.

When a database is renamed, the ZIP files' names no longer match the database name. This may result in

• Orphaned ZIP files:
  • test_emuDB.abcdef1.zip exists, but test_emuDB does not
  • The zip file is no longer reachable through the GUI
• Wrongly associated ZIP file
  • test_emuDB.abcdef1.zip was created, but test_emuDB was later renamed/deleted and then another database was named test_emuDB
  • in this case, the interface allows you to download version abcdef1 of test_emuDB, but that version does not exist in (the current) test_emuDB Git tree