Fixed minor bug on sshKeyDist's shutdownReal.