Hi, 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 server? 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 place(code)? Thanks a lot. Best, Huayan
___________________________________________________________ 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: http://lists.bx.psu.edu/
