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