src/Pure/General/postgresql.scala

-/*  Title:      Pure/General/postgresql.scala
-    Author:     Makarius
-
-Support for PostgreSQL databases.
-*/
-
-package isabelle
-
-
-import java.sql.{DriverManager, Connection}
-
-
-object PostgreSQL
-{
-  val default_port = 5432
-
-  def open_database(
-    user: String,
-    password: String,
-    database: String = "",
-    host: String = "",
-    port: Int = default_port): Database =
-  {
-    require(user != "")
-
-    val spec =
-      (if (host != "") host else "localhost") +
-      (if (port != default_port) ":" + port else "") + "/" +
-      (if (database != "") database else user)
-    val connection = DriverManager.getConnection("jdbc:postgresql://" + spec, user, password)
-    new Database(spec, connection)
-  }
-
-  class Database private[PostgreSQL](spec: String, val connection: Connection) extends SQL_Database
-  {
-    override def toString: String = spec
-  }
-}