tree f7ad22b3f1b5f8302f469758153376d6e851c09b
parent 5cee3351da886f38119263699fc2fa0f14c73087
author Madan Jampani <madan@onlab.us> 1459909078 -0700
committer Gerrit Code Review <gerrit@onlab.us> 1459961215 +0000

Fixes NPE in AtomixLeaderElector

Change-Id: I0db39b4e09af10f92fe06ba8c7372994e776a6e2