If you ever get an ssh session that seems to be stuck, try closing the connection using one of the ssh built-in escape sequences.