can you try to delete files with the web interface?
I saw the tool name, do you know this small tool?
Am 18.03.2016 um 20:03 schrieb Peter van Heusden:
> Hi there
> I'm trying to update a newly created tool on the test tool shed and I
> get this error:
> $ planemo shed_update -t testtoolshed
> cd '/home/pvh/PycharmProjects/split_fasta_chunks' && git rev-parse HEAD
> cd '/home/pvh/PycharmProjects/split_fasta_chunks' && git diff --quiet
> Could not update split_fasta_chunks
> Unexpected response from galaxy: 500: <html>
> <head><title>Internal Server Error</title></head>
> <h1>Internal Server Error</h1>
> <p>The server has either erred or is incapable of performing
> the requested operation.
> <!-- --></p>
> <hr noshade>
> <div align="right">WSGI Server</div>
> Repository metadata updated.
> Failed to update a repository.
> I might have accidentally created a "bad" repository that is leading to
> this error. This is with version 0.23.0. Alternately, is there a way to
> delete the tool so that I can try and recreate it?
> 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:
> To search Galaxy mailing lists use the unified search at: