t;
>
>
>
> *From:* Martin Čech [mailto:mar...@bx.psu.edu]
> *Sent:* September-08-16 12:30 PM
> *To:* Fernandez Edgar <edgar.fernan...@umontreal.ca>;
> galaxy-...@bx.psu.edu
> *Subject:* Re: [galaxy-dev] delete user and all trace of user
>
>
>
> Hi Edgar,
>
>
tion et de la Communication
Université de Montréal
PAVILLON ROGER-GAUDRY, bureau X-210
• Bur. : 1-514-343-6111 poste 16568
From: Martin Čech [mailto:mar...@bx.psu.edu]
Sent: September-08-16 12:30 PM
To: Fernandez Edgar <edgar.fernan...@umontreal.ca>; galaxy-...@bx.psu.edu
Subject: Re: [ga
Hi Edgar,
there is no built-in way in Galaxy to remove a user completely. 'Deleting'
just flips the flag in the DB and 'purging' is related to their
data/histories. You need to access the DB directly if you want to
completely remove a user. Beware that there might be constraints/relations
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".
