On Apr 19, 2012, at 10:44 AM, Peter Cock wrote:
On Thu, Apr 19, 2012 at 2:53 PM, Nate Coraor <nate@bx.psu.edu> wrote:
On Apr 17, 2012, at 9:04 AM, Peter Cock wrote:
Hi all,
Does anyone know what might have introduced this problem running galaxy-dist when using the task splitting functionality? I'm using the latest code from the default branch, changeset: 7027:f6e790d94282
Hi Peter,
This was resolved in changeset 5c93ac32ace1. Thanks for reporting it.
--nate
Are you sure? I've just updated to the tip and the same problem persists. Also looking at that commit it isn't obvious how is might be linked to this issue: https://bitbucket.org/galaxy/galaxy-central/changeset/5c93ac32ace1
You're right, that's what I get for reading hastily. Fix coming shortly...
Thanks,
Peter