# 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)