Am 22. Nov 2001 um 16:22 MET schrieb Simon Marlow: > I'm sad to say there was another bug in SocketPrim.getSocketOption in > 5.02.1. Please try the enclosed patch. How does this explain the two differing behaviours? And why didn't it happen in a compiled version? -- Volker Stolz * vs@foldr.org * PGP + S/MIME