--- a/src/Pure/Tools/server.scala Mon Mar 06 15:01:44 2023 +0100
+++ b/src/Pure/Tools/server.scala Mon Mar 06 15:12:37 2023 +0100
@@ -398,8 +398,7 @@
Isabelle_System.chmod("600", Data.database)
db.create_table(Data.table)
list(db).filterNot(_.active).foreach(server_info =>
- db.using_statement(
- Data.table.delete(sql = Data.name.where_equal(server_info.name)))(_.execute()))
+ db.execute_statement(Data.table.delete(sql = Data.name.where_equal(server_info.name))))
}
db.transaction {
find(db, name) match {
@@ -410,7 +409,7 @@
val server = new Server(port, log)
val server_info = Info(name, server.port, server.password)
- db.using_statement(Data.table.delete(sql = Data.name.where_equal(name)))(_.execute())
+ db.execute_statement(Data.table.delete(sql = Data.name.where_equal(name)))
db.using_statement(Data.table.insert()) { stmt =>
stmt.string(1) = server_info.name
stmt.int(2) = server_info.port