Changeset f91f47 for m4/boost.m4

Timestamp:

Feb 2, 2023, 8:14:03 PM (3 years ago)

Author:

Frederik Heber <frederik.heber@…>

Branches:

Candidate_v1.7.0, stable

Children:

1b84b8

Parents:

75a0cb

Message:

FIX: JobMarket's PoolGuard did not check for existing result.

• when a worker re-enrolls, the PoolGuard notices that it's no longer on its busy list. However, it now also checks whether the result the worker was working on is actually present. If missing, then the job is resubmitted to the queue.

(No files)