Swarming: when task is marked as BOT_DIED, update BotInfo so the task is not assigned to it anymore |
||
Issue descriptionhttps://screenshot.googleplex.com/fgqj8iHYpRM This bot is dead, but has a current task. This is problematic for clients like Milo since there isn't enough information to conclude that the bot is indeed offline, so it's marked as Busy.
,
Jun 28 2018
|
||
►
Sign in to add a comment |
||
Comment 1 by hinoka@chromium.org
, Jun 27 2018