I noticed that if I "touch universe_wsgi.ini" from the terminal (update its
timestamp) while Galaxy is running then Galaxy restarts. If this is intended,
would it be possible to add a "Reload Galaxy" button/option in the "Server"
section of the Admin page that mimics this "feature"?
Obviously, you'd want some way of warning an admin if jobs are currently being
Michael E. Cotterell
Ph.D. Student in Computer Science, University of Georgia
Instructor of Record, Graduate RA & TA, University of Georgia
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: