etc/options

   -- "SSH connection timeout (seconds)"
 
 option ssh_alive_interval : real = 30
   -- "time interval to keep SSH server connection alive (seconds)"
 
+option ssh_alive_count_max : int = 3
+  -- "maximum number of messages to keep SSH server connection alive"
+
 
 section "Build Log Database"
 
 option build_log_database_user : string = ""
 option build_log_database_password : string = ""