etc/options
changeset 64325 47e03cb99274
parent 64308 b00508facb4f
child 64524 e6a3c55b929b
     1.1 --- a/etc/options	Thu Oct 20 16:29:02 2016 +0200
     1.2 +++ b/etc/options	Thu Oct 20 23:05:13 2016 +0200
     1.3 @@ -206,3 +206,6 @@
     1.4  
     1.5  option ssh_connect_timeout : real = 60
     1.6    -- "SSH connection timeout (seconds)"
     1.7 +
     1.8 +option ssh_alive_interval : real = 30
     1.9 +  -- "time interval to keep SSH server connection alive (seconds)"