Pieter Neerincx wrote:
Therefore I have two questions: Is this the way it is supposed to work? I noticed there are scripts to delete userless histories, purge histories and purge datasets, but how do I really really delete a user?
Hi Pieter,
"deleted" and "purged" have a slightly different meaning than what it might seem. "deleted" is more like "disabled" but is so named to fit with the naming convention of columns on other tables. Deleting a user will disable the account, but keep the user's histories and datasets.
"purged" is used to indicate that all datasets and histories belonging to the user have been removed (or more accurately, marked as 'deleted' in their respective tables).
A user must then be "undeleted" to be allowed to log in. Since the 'email' column in the 'galaxy_user' table is unique, a new record cannot be created with the same email. The correct way to handle this situation is to undelete the account.
However, there was a bug preventing disabled users from being denied access, which I have now fixed in the repo. This should hopefully solve the issue you reported.
Thanks, --nate