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.
proper Scala expression;
authorwenzelm
Tue, 13 Sep 2022 09:45:02 +0200
changeset 76130 b703cecf9bd0
parent 76129 5979f73b9db1
child 76131 8b695e59db3f
proper Scala expression;
src/Pure/General/ssh.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/ssh.scala	Tue Sep 13 09:38:02 2022 +0200
+++ b/src/Pure/General/ssh.scala	Tue Sep 13 09:45:02 2022 +0200
@@ -60,7 +60,7 @@
         entry("ServerAliveInterval", options.seconds("ssh_alive_interval").ms.toInt),
         entry("ServerAliveCountMax", options.int("ssh_alive_count_max")),
         entry("Compression", options.bool("ssh_compression"))) :::
-      (if (port > 0 && port != default_port) List(entry("Port", port)) else Nil)
+      (if (port > 0 && port != default_port) List(entry("Port", port)) else Nil) :::
       (if (user.nonEmpty) List(entry("User", user)) else Nil) :::
       (if (control_master) List("ControlMaster=yes", "ControlPersist=yes") else Nil) :::
       (if (control_path.nonEmpty) List("ControlPath=" + control_path) else Nil)
isabelle