Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/sql.scala
changeset 78341 5f14f1290a88
parent 78340 5790e48f7573
child 78342 ef1664be143d 
--- a/src/Pure/General/sql.scala	Fri Jul 14 13:31:05 2023 +0200
+++ b/src/Pure/General/sql.scala	Fri Jul 14 14:21:22 2023 +0200
@@ -601,7 +601,7 @@
     val fw =
       ssh match {
         case None =>
-          SSH.no_port_forwarding(port = if (port > 0) port else default_port, host = db_host)
+          SSH.local_port_forwarding(port = if (port > 0) port else default_port, host = db_host)
         case Some(ssh) =>
           ssh.port_forwarding(
             remote_port = if (port > 0) port else default_port,
isabelle