src/Pure/General/ssh.scala

--- a/src/Pure/General/ssh.scala	Mon Sep 12 22:52:15 2022 +0200
+++ b/src/Pure/General/ssh.scala	Mon Sep 12 23:03:57 2022 +0200
@@ -94,12 +94,8 @@
     host: String,
     port: Int = 0,
     user: String = "",
-    actual_host: String = "",
     multiplex: Boolean = !Platform.is_windows
   ): Session = {
-    val session_host = proper_string(actual_host) getOrElse host
-    val session_port = make_port(port)
-
     val (control_master, control_path) =
       if (multiplex) {
         val file = Isabelle_System.tmp_file("ssh_socket")
@@ -108,7 +104,7 @@
       }
       else (false, "")
 
-    new Session(options, session_host, session_port, user, control_master, control_path)
+    new Session(options, host, make_port(port), user, control_master, control_path)
   }
 
   class Session private[SSH](