I think rjk meant `setpgid', not `setpgrp'.
[sgt/putty] / LATEST.VER
1 0.56