I’m using the multiple web server stuff described here:

that seems to address the responsiveness issues i see when many users are 

However, when i add a new tool - it does not alway show up (only for one of the 
workers maybe?)

Right now I’m restarting, but this costs a minute or two of downtime as the 
server starts up.

Has anyone experimented with rolling restarts of web server processes?

Alternatively, has anyone found a good way to speed up the startup process?



Bradley W. Langhorst, Ph.D.
Applications and Product Development Scientist

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:

To search Galaxy mailing lists use the unified search at:

Reply via email to