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/