I am trying to add a tool into Galaxy. So far everything is ok except that
I need to restart the server to make the tool showing up in the tool panel.

So my question is that how to refresh the tool panel without restarting the

After I install a tool from toolshed, I can see the tool immediately from
the tool panel. This is exactly the function I want to implement in python.
I was reading the code but too complicated. Could you point me the right

Thanks a lot.

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:


Reply via email to