terminate when ssh session is killed

Change-Id: I145cc9de4c7006efb56661d0f64d4158fe4aee1b
2 files changed