[galaxy-dev] Galaxy administrators - admin_users setting

[Peter Cock]

Hi all,

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?
https://bitbucket.org/galaxy/galaxy-central/wiki/Admin/AdminInterface

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
(changeset 50e249442c5a).

Is there some other setting needed to enable the admin interface?

Thanks,

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

  http://lists.bx.psu.edu/

Re: [galaxy-dev] Galaxy administrators - admin_users setting

[Peter Cock]

On Mon, May 9, 2011 at 12:48 PM, Hans-Rudolf Hotz h...@fmi.ch wrote:
 Hi Peter

 First,the obvious question: Have you restarted galaxy?

Yes, and I tried hard reloads in two different browsers (both of which
are working on the primary server).

 Second: I vaguely remember a similar problem, and if I remember correctly,
 the problem we had was the space between the comma and the next e-mail
 address. Hence, make sure you write the line like this:

 admin_users = f...@bar.com,f...@bar.com,f...@bar.com

 (ie: without any blank spaces)

 I hope this helps, Hans

I'll double check that.

As an aside, it would be interesting to check if the comparison is done
case insensitively or not (emails and domain names are case insensitive).

Fingers crossed... thanks,

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

  http://lists.bx.psu.edu/