src/Pure/Tools/build_process.scala

         })
     }
 
     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 = {
       val old =
         db.execute_query_statement(

         ).getOrElse(false)
 
       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
 
       if (stopped_db && !stopped) build_progress.stop()

       def err(msg: String): Nothing =
         error("Cannot start worker " + worker_uuid + if_proper(msg, "\n" + msg))
 
       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 {
         case Some(None) =>
         case Some(Some(_)) => err("for already stopped build process " + build_uuid)

       serial: Long,
       stop: Boolean = false
     ): 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()
           stmt.date(1) = now
           stmt.date(2) = if (stop) Some(now) else None