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 output;
authorwenzelm
Fri, 21 Jul 2023 11:05:50 +0200
changeset 78422 dcaf6f33d94d
parent 78421 fd24f380b588
child 78423 645b54f3244a
tuned output;
src/Pure/General/sql.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/sql.scala	Fri Jul 21 10:56:11 2023 +0200
+++ b/src/Pure/General/sql.scala	Fri Jul 21 11:05:50 2023 +0200
@@ -647,7 +647,8 @@
     val name = proper_string(database) getOrElse user
     val url = "jdbc:postgresql://" + server.host + ":" + server.port + "/" + name
     val ssh = server.ssh_system.ssh_session
-    val print = user + "@" + server + "/" + name + if_proper(ssh, " via ssh " + ssh.get)
+    val print =
+      "server " + user + "@" + server + "/" + name + if_proper(ssh, " via ssh " + ssh.get)
 
     val connection = DriverManager.getConnection(url, user, password)
     val db = new Database(connection, print, server, server_close)
isabelle