Fleshing out leader election in serverdropping