Re: [galaxy-dev] use of copied history while original user account deleled (and purged)

2015-05-04 Thread John Chilton
This sounds like a pretty serious bug - but I have not heard of other people encountering it explicitly. There was a brief period of time when 15.03 release had a similar bug (I believe it was patched by https://github.com/galaxyproject/galaxy/pull/21) - but it was merged before we actually

[galaxy-dev] use of copied history while original user account deleled (and purged)

2015-04-23 Thread Olivia Doppelt-Azeroual
Dear Developers, We manage a Galaxy instance at Institut Pasteur where there are more than a hundred users. Among them there are postdocs that are meant to leave the institute. Our Galaxy instance is configured with LDAP authentication. The LDAP entry is suppressed shortly after the end of