Johannes, The internal server error you encountered has been resolved as of 9105:7b5f97700fdc. The tool shed not letting you delete the flexbar subfolder was a result of untracked files in the repository path. We have removed those files, and your repository should now be correct. --Dave B. On 3/19/13 08:08:31.000, Johannes Röhr wrote:
Hello! Yesterday I updated the Flexbar tool definition in the Galaxy Tool Shed repository flexbar to work with the new version 2.33 of the program. After upload, a message indicating an internal server error showed up. Subsequently, I retried it with a tarball which did not work out either. I tried it several times - still with errors - and reset all repository metadata.
In the end I arrived to upload the two new files via hg push on command line. They are now shown in Galaxy tool shed. Nevertheless, as part of the whole process (probably tarball upload) a subfolder flexbar has been created that contains four files. I would like to delete this subfolder including contained files and keep only the two files in the root folder of the flexbar repo. I tried to delete the subfolder without success. The message "No changes to repository." appears.
Any idea how I could resolve the issue? Thanks for any suggestions! ___________________________________________________________ Please keep all replies on the list by using "reply all" in your mail client. To manage your subscriptions to this and other Galaxy lists, please use the interface at: