22 Nov
2001
22 Nov
'01
10:25 a.m.
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