Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe;
authorwenzelm
Thu, 15 Sep 2022 21:37:17 +0200
changeset 76166 dbafa8d688fb
parent 76165 cf469736000c
child 76167 e517a38dc0e6
discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe;
etc/options file | annotate | diff | comparison | revisions
src/Pure/General/ssh.scala file | annotate | diff | comparison | revisions 
--- a/etc/options	Thu Sep 15 21:33:46 2022 +0200
+++ b/etc/options	Thu Sep 15 21:37:17 2022 +0200
@@ -295,9 +295,6 @@
 option ssh_compression : bool = true
   -- "enable SSH compression"
 
-option ssh_connect_timeout : real = 60
-  -- "SSH connection timeout (seconds)"
-
 option ssh_alive_interval : real = 30
   -- "time interval to keep SSH server connection alive (seconds)"
 
--- a/src/Pure/General/ssh.scala	Thu Sep 15 21:33:46 2022 +0200
+++ b/src/Pure/General/ssh.scala	Thu Sep 15 21:37:17 2022 +0200
@@ -45,7 +45,6 @@
       control_path: String = ""
     ): List[String] = {
       List("BatchMode=yes",
-        entry("ConnectTimeout", options.real("ssh_connect_timeout").round),
         entry("ServerAliveInterval", options.real("ssh_alive_interval").round),
         entry("ServerAliveCountMax", options.int("ssh_alive_count_max")),
         entry("Compression", options.bool("ssh_compression"))) :::
isabelle