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