A suggested change will be coming down the pipe shortly, but it's good to hear that it will be useful! -Scott ----- Original Message -----
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 ___________________________________________________________ Please keep all replies on the list by using "reply all" in your mail client. To manage your subscriptions to this and other Galaxy lists, please use the interface at: