mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-07-13 00:57:33 -05:00

remembered to do before! Also some related fixes, such as that after we do so we should immediately stop selecting on the socket in question. [originally from svn r9363]