[galaxy-user] Deleting accounts

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