On 7/21/11 10:44 AM, Lennart Borgman wrote: > What happened to this? Is not this a very important problem? No. Our current multi-thread approach may be clunky, but it's worked fine for many years. I don't see a reason to change it for cleanliness's sake.