etc/options
changeset 76166 dbafa8d688fb
parent 76148 769ebb139a32
child 76167 e517a38dc0e6
equal deleted inserted replaced
76165:cf469736000c 76166:dbafa8d688fb
   293   -- "enable multiplexing of SSH sessions (ignored on Windows)"
   293   -- "enable multiplexing of SSH sessions (ignored on Windows)"
   294 
   294 
   295 option ssh_compression : bool = true
   295 option ssh_compression : bool = true
   296   -- "enable SSH compression"
   296   -- "enable SSH compression"
   297 
   297 
   298 option ssh_connect_timeout : real = 60
       
   299   -- "SSH connection timeout (seconds)"
       
   300 
       
   301 option ssh_alive_interval : real = 30
   298 option ssh_alive_interval : real = 30
   302   -- "time interval to keep SSH server connection alive (seconds)"
   299   -- "time interval to keep SSH server connection alive (seconds)"
   303 
   300 
   304 option ssh_alive_count_max : int = 3
   301 option ssh_alive_count_max : int = 3
   305   -- "maximum number of messages to keep SSH server connection alive"
   302   -- "maximum number of messages to keep SSH server connection alive"