On Mon, May 30, 2011 at 10:42 PM, Bossers, Alex wrote:
> Peter,
> if you were just interested in having a dynamic refresh....
> it was posted long time ago and we have it operational. It
> comes as a tool in your tool list and refreshes all from the
> tool_conf.xml.

I'd like to see something like this functionality built into Galaxy,
on the admin page next to reload a single tool.

Having an extra standard tool (if world visible) is not an ideal
solution. If that is what you meant? I'll have to try it and see.

> Not the loc filtes though!

Reloading loc files is also on my wish list :)

> As far as i remember it doesn't kill running jobs.

Good - because otherwise you might as well restart Galaxy.

> It requires two lines of code in galaxy source and the addition of a
> tool to the tools section. I pasted it from my archive below. But it
> is quite self explanatory.
> Alex

Thanks, now I have two solutions to play with ;)

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