issue 1310: Added ctrl-c handling to ht_ssh