Changed my mind about the EOF policy in SSH mode: I think the SSH
[u/mdw/putty] / sshgssc.h
2010-05-19 simonPatch from Alejandro Sedeno, somewhat modified by me...