On Fri, 3 Jul 2009, Klein, Christoph wrote:
i'm sorry but my patch doesn't solve the problem,possibly
making
the problem worse. I will look tomorrow at the problem again.
Can you revert the change, please?!
OK, done. I'll try taking a closer look myself. As the comment
in the code suggests -- "FIXME this should never happen" -- the
issue we're looking at is one that rarely arises, and is somewhat
puzzling.
Allin.