proper ssh session termination