* Peter Bex [140105 21:38]:
> Hi all,
>
> I finally took a shovel and dug in deep into #877.
> It's a very tricky one and I think it's been so elusive due
> to the fact that the bug *probably* only crops up on machines
> with multiple CPU (cores).
Thanks, I have pushed it. I looked at it the tim
Hi all,
I finally took a shovel and dug in deep into #877.
It's a very tricky one and I think it's been so elusive due
to the fact that the bug *probably* only crops up on machines
with multiple CPU (cores).
At least it's relatively easy to detect the error and clean up
the child, and abort the t
