src/Pure/Tools/build_process.scala

       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 = SQL.where(Generic.sql(build_uuid = 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)