On Mon, May 9, 2011 at 1:59 PM, Peter Cock <p.j.a.c...@googlemail.com> wrote:
> 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.

Solved: Another [section] had been added within the [app:main]
section of universe_wsgi.ini, so the admin_users setting was not
being read.

> 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).

The user login treats the email address case sensitively, and it also
looks like the admin_users does as well. Possibly a bug/oversight?

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:


Reply via email to