Hello.
I have been trying to run Krocus on usegalaxy.eu for Klebsiella pneumoniae. I downloaded all the possible formats from the Insitute Pasteur for the allelic profile database and uploaded to Galaxy but the program is not seeing any format as a usable format for the selection of the database. It keeps showing that “No options available” and there is no drop down box to choose from, although the databses have been uploaded to my history. Could you please help? Thank you.
Welcome, @Elie_Dahdouh
This tool wasn’t designed to accept user supplied indexes from the history. The server needs to add in indexes instead.
We have a prior topic with some details here → Krocus database missing
In short, the tool is not supported at the public servers (yet, and may never be).
Instead, please consider using the alternative that is supported.
Hope this helps! 
Thank you for your informative and helpful reply! I hope this gets gets supported one day because I use it locally on a Linux server and I like its results. Thanks again and have a great day.