[galaxy-dev] delete user and all trace of user

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

PAVILLON ROGER-GAUDRY, bureau X-210 • Bur. : 1-514-343-6111 poste 16568