Если они оба имеют разные порты, самое время подумать об использовании файлов конфигурации, таких как~/.ssh/config
:
Host server1
Port port1
Host server2
Port port2
и все готово.
Вы можете использовать:
kill -kill PID
Это очень распространенная команда для принудительного уничтожения PID.