> My hunch is the second hunk of the original patch will fix this. O.K.
But please fully explain how the race happens and how the fix fully
fixes it. I don't really want to add code which just makes the race
window smaller, but the race still happens. That helps nobody.
In the end, i think you will end up polling. If so, feel free to
submit a patch which makes the poll interval build time configurable.
Andrew
