On Jan 31, 2012, at 2:37 AM, Bossers, Alex wrote:
Nate,
Thanks I finally configured the reports and they work ok and are useful!
Are these reports public? How to limit these to admins only? There doesn't
seem to be any login or authentication feature.
For our dev server this not a problem
On Jan 27, 2012, at 4:43 PM, Bossers, Alex wrote:
Hi All,
We are finally up-and-running again with the latest dist release. The
previoous version was ok but already quite old.
For our local public server at wur we are now encountering the awaited disk
space issues. as had to come
Nate,
Thanks I finally configured the reports and they work ok and are useful!
Are these reports public? How to limit these to admins only? There doesn't seem
to be any login or authentication feature.
For our dev server this not a problem but the reports are especially handy for
the production
Greg,
Thanks. Stupid to have missed that universe setting
Alex
Van: Greg Von Kuster [mailto:g...@bx.psu.edu]
Verzonden: zaterdag 28 januari 2012 16:26
Aan: Bossers, Alex
CC: Hans-Rudolf Hotz; galaxy-dev@lists.bx.psu.edu
Onderwerp: Re: [galaxy-dev] How to delete user (and unshared files) in
Hi Alex
Since you are talking about your public server, I assume you don't have
external authentication. Hence, have you considered to turn on the
allow_user_impersonation option?
Nice and very efficient way of cleaning up.
Regards, Hans
On 01/27/2012 10:43 PM, Bossers, Alex wrote:
Hi Hans,
have to look up what it does... :)
Yes its public but users are required to signup themselves. So all data is
linked to usersbut which data to whome?
Of course I can hack the DB and find out but I thought there should be a more
convenient way of doing this for galaxy admins!?
Alex
Hello Alex,
If you set the following in your universe_wsgi.ini, you'll be able to delete /
purge users.
# Can an admin user delete user accounts?
allow_user_deletion = True
With the above setting, from the Admin perspective, select Manage users.
You're User list grid will include buttons for
