[galaxy-dev] Changing the location of toolsheddb fails

Hi all, I want to change the location of the toolshed database. First I copied all contents to the new location, and next, I adjusted community_wsgi.ini: file_path = /mnt/toolsheddb/community_files However, the toolshed fails to start now, throwing this error: RepoError: repository /home/galaxy/toolshed/database/community_files/000/repo_1 not found It still checks the old location apparently. Thanks for the assistance, Joachim -- Joachim Jacob, PhD Rijvisschestraat 120, 9052 Zwijnaarde Tel: +32 9 244.66.34 Bioinformatics Training and Services (BITS) http://www.bits.vib.be @bitsatvib