Hello Peter,

You'll need to uncomment the following lines in the ~/lib/galaxy/admin.py controller (lines 92-94 in the latest rev):

    #operations.append( grids.GridOperation( "Delete", condition=( lambda item: not item.deleted ), allow_multiple=True ) )
    #operations.append( grids.GridOperation( "Undelete", condition=( lambda item: item.deleted and not item.purged ), allow_multiple=True ) )
    #operations.append( grids.GridOperation( "Purge", condition=( lambda item: item.deleted and not item.purged ), allow_multiple=True ) )

The buttons will then be displayed on the manage users page in the admin view.  Be aware that "deleting a user" only marks the user as deleted ( the deleted column is True ) in the database, keeping the state of everything associated with the user, allowing for undeletion if desired.

If you want to go further, you can "Purge the user" after you have deleted their account.  Here is what happens when you purge the user's account:

        # This method should only be called for a User that has previously been deleted.
        # We keep the User in the database ( marked as purged ), and stuff associated
        # with the user's private role in case we want the ability to unpurge the user 
        # some time in the future.
        # Purging a deleted User deletes all of the following:
        # - History where user_id = User.id
        #    - HistoryDatasetAssociation where history_id = History.id
        #    - Dataset where HistoryDatasetAssociation.dataset_id = Dataset.id
        # - UserGroupAssociation where user_id == User.id
        # - UserRoleAssociation where user_id == User.id EXCEPT FOR THE PRIVATE ROLE
        # Purging Histories and Datasets must be handled via the cleanup_datasets.py script

Again, the user's record remains in the database, but you can manually remove it and the private role using sql if you wish ( we do not advise this, but it's not hard to do).  The user's private role is in the role table where the type is private and the name is the user's account / email address.


On Jun 3, 2010, at 6:04 AM, Pieter Neerincx wrote:

Hi,

In my univers_wsgi.ini I have:

# Can an admin user delete user accounts?
allow_user_deletion = True

But when I go the the admin web interface -> security -> manage users, I cannot delete users. There is only a "Create New User" button at the top and a "for selected users: Reset Password" button at the bottom... Am I missing something?

Cheers,

Pi


---------------------------------------------------------------
Biomolecular Mass Spectrometry & Proteomics group
Utrecht University

Visiting address:
H.R. Kruyt building room O607
Padualaan 8
3584 CH Utrecht
The Netherlands

Mail address:
P.O. box 80.082
3508 TB Utrecht
The Netherlands

phone: +31 6 143 66 783
email: pieter.neerincx@gmail.com
skype: pieter.online
---------------------------------------------------------------


_______________________________________________
galaxy-user mailing list
galaxy-user@lists.bx.psu.edu
http://lists.bx.psu.edu/listinfo/galaxy-user

Greg Von Kuster
Galaxy Development Team
greg@bx.psu.edu