To make someone an administrator on a local Galaxy install, do I just
need to add their email (login) to the comma separated setting
admin_users in universe_wsgi.ini?
I have this working on one server, but it doesn't seem to have any
effect on a second server. Both are now running the current release
Is there some other setting needed to enable the admin interface?