On Mon, 5 Nov 2007, Dmitry Timoshkov wrote: [...] > A proper fix would be either to remove that particular test altogether, or > replace 0x1000 by 0x200.
Oops, I see that in the patch I sent it was still set to 0xf00 which was just an experiment. Setting it to 0x200 works for me. I'm sending a patch. -- Francois Gouget <[EMAIL PROTECTED]> http://fgouget.free.fr/ In theory, theory and practice are the same, but in practice they're different.
