# HG changeset patch
# User wenzelm
# Date 1689443732 -7200
# Node ID cd9c91ecbcb439cb52dbd8855bd7881cf4f877e3
# Parent  72fc2ff08e0779bd46d3d0e4e47763d3906cc6f9
less ambitions transactions (amending 3f3dcf9f53f1): TRANSACTION_SERIALIZABLE may lead to spurious rollback exceptions;

diff -r 72fc2ff08e07 -r cd9c91ecbcb4 src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Sat Jul 15 19:34:48 2023 +0200
+++ b/src/Pure/General/sql.scala	Sat Jul 15 19:55:32 2023 +0200
@@ -618,8 +618,6 @@
     database: String = "",
     server: SSH.Server = default_server,
     server_close: Boolean = false,
-    // see https://www.postgresql.org/docs/current/transaction-iso.html
-    transaction_isolation: Int = Connection.TRANSACTION_SERIALIZABLE
   ): Database = {
     init_jdbc
 
@@ -633,7 +631,6 @@
     val print = user + "@" + server + "/" + name + if_proper(ssh, " via ssh " + ssh.get)
 
     val connection = DriverManager.getConnection(url, user, password)
-    connection.setTransactionIsolation(transaction_isolation)
     new Database(connection, print, server, server_close)
   }