etc/options
changeset 76167 e517a38dc0e6
parent 76166 dbafa8d688fb
child 76168 aab9bb081f01
--- a/etc/options	Thu Sep 15 21:37:17 2022 +0200
+++ b/etc/options	Fri Sep 16 12:49:04 2022 +0200
@@ -296,10 +296,10 @@
   -- "enable SSH compression"
 
 option ssh_alive_interval : real = 30
-  -- "time interval to keep SSH server connection alive (seconds)"
+  -- "time interval to keep SSH server connection alive (seconds, ignore value < 0)"
 
 option ssh_alive_count_max : int = 3
-  -- "maximum number of messages to keep SSH server connection alive"
+  -- "maximum number of messages to keep SSH server connection alive (ignore value < 0)"
 
 
 section "Phabricator"