diff -r 416f4d031afd -r 47e03cb99274 etc/options --- a/etc/options Thu Oct 20 16:29:02 2016 +0200 +++ b/etc/options Thu Oct 20 23:05:13 2016 +0200 @@ -206,3 +206,6 @@ option ssh_connect_timeout : real = 60 -- "SSH connection timeout (seconds)" + +option ssh_alive_interval : real = 30 + -- "time interval to keep SSH server connection alive (seconds)"