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.
tuned;
authorwenzelm
Wed, 29 May 2024 15:58:03 +0200
changeset 80210 f0ead4febf7f
parent 80209 f2fa6753c3e2
child 80211 2ec1b11f1f93
tuned;
src/Pure/General/ssh.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/ssh.scala	Wed May 29 15:51:15 2024 +0200
+++ b/src/Pure/General/ssh.scala	Wed May 29 15:58:03 2024 +0200
@@ -123,7 +123,7 @@
     override def ssh_session: Option[Session] = Some(ssh)
 
     def port_suffix: String = if (port > 0) ":" + port else ""
-    def user_prefix: String = if (user.nonEmpty) user + "@" else ""
+    def user_prefix: String = if_proper(user, user + "@")
 
     override def toString: String = user_prefix + host + port_suffix
     override def print: String = " (ssh " + toString + ")"
isabelle