Hans is correct prior to Galaxy 16.01. The 16.01 release of Galaxy added a monitor attribute to config/tool_conf.xml.sample (e.g. <toolbox monitor="true">) that causes Galaxy to watch that file for changes and reload the toolbox on modifications. No need to add this to tool shed tool confs (and it would probably break them) but for non-tool shed tool confs this should work.

Additionally, the toolbox tool conf can have a <tool_dir dir="path/to/tool" /> element that will cause Galaxy to load a whole directory at a time - this can be combined with active monitoring and reloading of modified tools in that directory by installing "watchdog" ($GALAXY_ROOT/.venv/bin/pip install watchdog) into Galaxy's virtualenv and then setting watch_tools=True in galaxy.ini. This is what planemo machine does to monitor a directory of tools (there have been reports that this approach may be a bit buggy - help with bug reports and/or fixes would be appreciated).

-John

On Wed, Mar 2, 2016 at 8:32 AM, Hans-Rudolf Hotz hrh@fmi.ch wrote:

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/

---

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/