tree 04666df3a354b77f3fa0b218ffba747c9f4dfdec
parent 2216bdb5551a9cb856449bd8b5d80fa0cec81365
author Jonathan Hart <jono@onlab.us> 1425434665 -0800
committer Gerrit Code Review <gerrit@onlab.us> 1425531033 +0000

Remove from leader board immediately on leader election withdraw.

This prevents some of the churn in the intent partitions due to partition
manager working off inaccurate state.

Change-Id: Ia324ea0273bc5d5858e378c05b45bafce6bda7e9