diff -r c41a032d8386 -r c573cfb2c407 etc/options
--- a/etc/options	Sat Dec 23 23:07:26 2017 +0100
+++ b/etc/options	Sun Dec 24 12:48:43 2017 +0100
@@ -238,6 +238,9 @@
 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"