Timestamp:
Feb 2, 2023, 1:31:56 PM (3 years ago)
Author:
Frederik Heber <frederik.heber@…>
Branches:
Candidate_v1.7.0, stable
Children:
75a0cb
Parents:
d91a8f
Message:

FIX: WorkerListener tried to get result from new-joined worker.

  • bracket error caused the 'break' to be missed when a newly joined worker was already known. This caused a receive result handle to be started where the actual empty result was handled gracefully.
(No files)

Note: See TracChangeset for help on using the changeset viewer.