Hello gents!

I’ve successfully got my version 16.04 up and running and everything is still 
there (user, groups roles, data and tools).
Unfortunately , I’m still having a problem with deleting a user. I’ve purge him 
and then I deleted him.
but, he still shows up in my list of users as "purged".

Is there a way to completely remove him from galaxy?
Do I need to run a script in a cron job to clean my galaxy periodically?

Thanks in advance!

Edgar Fernandez
System Administrator (Linux)
Direction Générale des Technologies de l'Information et de la Communication
Université de Montréal

•  Bur. : 1-514-343-6111 poste 16568
Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:

To search Galaxy mailing lists use the unified search at:

Reply via email to