# HG changeset patch
# User wenzelm
# Date 1710018147 -3600
# Node ID 3f7ac523f5b30665a2face1924c2fdc830f32bbe
# Parent  f425bbc4b2eb21d0094c16053c663523f1a69f10
revert part of 5969ead9f900 that does not quite work yet: only one accidental host is used;

diff -r f425bbc4b2eb -r 3f7ac523f5b3 src/Pure/Build/build_process.scala
--- a/src/Pure/Build/build_process.scala	Sat Mar 09 20:52:06 2024 +0100
+++ b/src/Pure/Build/build_process.scala	Sat Mar 09 22:02:27 2024 +0100
@@ -862,7 +862,7 @@
         stamp_worker(db, worker_uuid, serial)
 
         val sessions = state.sessions.pull(read_sessions_domain(db), read_sessions(db, _))
-        val pending = pull0(read_pending(db), state.pending)
+        val pending = read_pending(db)
         val running = pull0(read_running(db), state.running)
         val results = pull1(read_results_domain(db), read_results(db, _), state.results)