10 Jul
2012
10 Jul
'12
7:01 p.m.
On Tue, May 1, 2012 at 3:46 PM, Dannon Baker dannonbaker@me.com wrote:
I'll take care of it. Thanks for reminding me about the TODO!
This seems to have reached galaxy-central now: https://bitbucket.org/galaxy/galaxy-central/changeset/dc20a7b5b6ce
i.e. When Galaxy creates sub-jobs from tools using the <parallelism> tag to split tasks over the cluster, if the user kills the parent job the child jobs should get kill too.
That will be appreciated next time our cluster is heavily loaded :)
Thanks,
Peter