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
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: