# HG changeset patch
# User wenzelm
# Date 1678735453 -3600
# Node ID dc96e6c563699fc060591f3667bfce9d56b71808
# Parent  dcd2c3bb4b684bf7c1ca5e2c41929a0e445c1fa0
more robust SQL query for mandatory arguments;

diff -r dcd2c3bb4b68 -r dc96e6c56369 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Mon Mar 13 20:14:19 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Mon Mar 13 20:24:13 2023 +0100
@@ -331,7 +331,7 @@
 
     def stop_build(db: SQL.Database, build_uuid: String): Unit =
       db.execute_statement(
-        Base.table.update(List(Base.stop), sql = SQL.where(Generic.sql(build_uuid = build_uuid))),
+        Base.table.update(List(Base.stop), sql = Base.build_uuid.where_equal(build_uuid)),
         body = { stmt => stmt.date(1) = db.now() })
 
     def clean_build(db: SQL.Database): Unit = {
@@ -470,9 +470,7 @@
       def stop_db(): Unit =
         db.execute_statement(
           Base.table.update(
-            List(Base.progress_stopped),
-            sql = SQL.where(Generic.sql(build_uuid = build_uuid))
-          ),
+            List(Base.progress_stopped), sql = Base.build_uuid.where_equal(build_uuid)),
           body = { stmt => stmt.bool(1) = true })
 
       val stopped = build_progress.stopped
@@ -543,7 +541,7 @@
 
       val build_stop =
         db.execute_query_statementO(
-          Base.table.select(List(Base.stop), sql = SQL.where(Generic.sql(build_uuid = build_uuid))),
+          Base.table.select(List(Base.stop), sql = Base.build_uuid.where_equal(build_uuid)),
           res => res.get_date(Base.stop))
 
       build_stop match {
@@ -577,7 +575,7 @@
     ): Unit = {
       val sql =
         Workers.table.update(List(Workers.stamp, Workers.stop, Workers.serial),
-          sql = SQL.where(Generic.sql(worker_uuid = worker_uuid)))
+          sql = Workers.worker_uuid.where_equal(worker_uuid))
       db.execute_statement(sql, body =
         { stmt =>
           val now = db.now()