Clone
Eric Wendelin
committed
on 18 Apr 17
Assign build operation ids to workers through requests
A worker currently works on only one build operation at a time,
therefore we can main… Show more
Assign build operation ids to workers through requests

A worker currently works on only one build operation at a time,

therefore we can maintain the current build operation by

- separating operation ids used for build operations from those

  used for progress logging

- Registering current operation id from build operation executor

- Getting that operation id and storing it in Request to worker

- Setting current operation in worker's local operation registry

  upon receipt of the request (now with operation id)

Issue: #1816

Show less

green-master + 457 more