On 1/10/07, Joachim Schipper <[EMAIL PROTECTED]> wrote:

For another, somewhat more clean non-solution, see ssh_config(5), and
have a look at such options as 'ServerAliveInterval'.


Setting ServerAliveInterval to 30 solved the problem. Thanks a lot!

Reply via email to