Add proper error reports in write_random_seed, via the new 'nonfatal'
[sgt/putty] / pgssapi.h
2010-05-19 simonPatch from Alejandro Sedeno, somewhat modified by me...