Mike Hearn mike@navi.cx writes:
I've attached a patch which fixes this for me. It's not too tricky, if you want me to explain it though I'm happy to do so.
This feels like the sort of patch Alexandre will rewrite to his liking anyway :)
Actually I already did a similar hack in the Crossover tree; it's not merged because it's full of races (which at first glance seems to be the case with yours too).