# HG changeset patch
# User wenzelm
# Date 1663055102 -7200
# Node ID b703cecf9bd04e27056fecc08fc8ab7acf9d50c8
# Parent  5979f73b9db194bee8b4d285ca35998746f89c98
proper Scala expression;

diff -r 5979f73b9db1 -r b703cecf9bd0 src/Pure/General/ssh.scala
--- 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)