src/Pure/General/sql.scala
changeset 73367 77ef8bef0593
parent 73340 0ffcad1f6130
child 75393 87ebf5a50283
--- a/src/Pure/General/sql.scala	Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Pure/General/sql.scala	Thu Mar 04 21:04:27 2021 +0100
@@ -253,7 +253,7 @@
     def execute(): Boolean = rep.execute()
     def execute_query(): Result = new Result(this, rep.executeQuery())
 
-    def close(): Unit = rep.close
+    def close(): Unit = rep.close()
   }
 
 
@@ -322,7 +322,7 @@
 
     def connection: Connection
 
-    def close(): Unit = connection.close
+    def close(): Unit = connection.close()
 
     def transaction[A](body: => A): A =
     {
@@ -483,7 +483,7 @@
       val connection = DriverManager.getConnection(url, user, password)
       new Database(name, connection, port_forwarding)
     }
-    catch { case exn: Throwable => port_forwarding.foreach(_.close); throw exn }
+    catch { case exn: Throwable => port_forwarding.foreach(_.close()); throw exn }
   }
 
   class Database private[PostgreSQL](
@@ -509,6 +509,6 @@
       table.insert_cmd("INSERT",
         sql = sql + (if (sql == "") "" else " ") + "ON CONFLICT DO NOTHING")
 
-    override def close(): Unit = { super.close; port_forwarding.foreach(_.close) }
+    override def close(): Unit = { super.close(); port_forwarding.foreach(_.close()) }
   }
 }