Hi Floreline It depends on the 'source' of the tool: If you add the tool via Tool Shed, then there is no need to restart the Galaxy server. However, if you add a tool manually (i.e. by adding a line to tool_conf.xml) you need to restart the server - at least that is my current knowledge. Hans-Rudolf On 03/01/2016 11:09 PM, Floreline TOUCHARD wrote:
Hi Galaxy team,
Is there a way to add a tool without service interruption ? Something like a "sh run.sh --reload" (not "restart") command. I think I saw this information once, but I can't put my hand on it anymore.
Thanks in advance ! F.T
___________________________________________________________ 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: https://lists.galaxyproject.org/
To search Galaxy mailing lists use the unified search at: http://galaxyproject.org/search/mailinglists/