Comment 4 for bug 1233457

Curtis Hovey (sinzui) wrote :

This issue relates to bug 1205451. In this case, the machine terminated before the state server could tell the agent that it is dead. In the other bug, the machine terminated for other reasons. In both cases, The state-server does not recognise that the agent and machine are gone, so it only needs to remove the record of the agent.