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

2012-05-30 Thread Peter Cock
On Mon, May 9, 2011 at 12:48 PM, Hans-Rudolf Hotz wrote: > Hi Peter > > First,the obvious question: Have you restarted galaxy? > > 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, m

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

2011-05-09 Thread Peter Cock
On Mon, May 9, 2011 at 1:59 PM, Peter Cock wrote: > On Mon, May 9, 2011 at 12:48 PM, Hans-Rudolf Hotz 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). >

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

2011-05-09 Thread Peter Cock
On Mon, May 9, 2011 at 12:48 PM, Hans-Rudolf Hotz 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 remem

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

2011-05-09 Thread Hans-Rudolf Hotz
Hi Peter First,the obvious question: Have you restarted galaxy? 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

[galaxy-dev] Galaxy administrators - admin_users setting

2011-05-09 Thread 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 se