Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/ssh.scala
changeset 76166 dbafa8d688fb
parent 76165 cf469736000c
child 76167 e517a38dc0e6 
--- 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