I find that reloading a tool's configuration file does not really work.
First, you have to click the reload buttow twice to actually have it update the VERSION number (so it does read something)...
But when I try to run my tool, the old bug is still there...

I am using proxy server so something may still be cached, but I have to restart my server for it actually to pick up the changes...

Any ideas?

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