4 ms·

ServerAliveInterval and/or ClientAliveInterval fix that behaviour just fine, for everyone, if they use it.