Я использую PHPssh2 библиотека, и просто делает:

$ssh = ssh2_connect($hostname, $port);

Проблема в том, что я хочу установить тайм-аут, то есть через 5 секунд перестать пытаться подключиться. Насколько я могу судить, библиотека ssh2 не поддерживает тайм-аут при подключении. Как я могу реализовать оболочку тайм-аута?