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.
clarified signature;
authorwenzelm
Fri, 14 Jul 2023 16:53:39 +0200
changeset 78344 4aa3d3aa57b3
parent 78343 1932737e55a9
child 78345 545da61f5989
clarified signature;
src/Pure/General/sql.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/sql.scala	Fri Jul 14 14:56:48 2023 +0200
+++ b/src/Pure/General/sql.scala	Fri Jul 14 16:53:39 2023 +0200
@@ -575,7 +575,7 @@
 object PostgreSQL {
   type Source = SQL.Source
 
-  val default_port = 5432
+  val default: SSH.Port_Forwarding = SSH.local_port_forwarding(port = 5432, host = "localhost")
 
   lazy val init_jdbc: Unit = Class.forName("org.postgresql.Driver")
 
@@ -594,8 +594,8 @@
 
     if (user == "") error("Undefined database user")
 
-    val db_host = proper_string(host) getOrElse "localhost"
-    val db_port = if (port > 0) port else default_port
+    val db_host = proper_string(host) getOrElse default.host
+    val db_port = if (port > 0) port else default.port
     val db_name = proper_string(database) getOrElse user
 
     val fw =
isabelle