fix bug where multiple copies of the same server were being spawned on kolossus
fix bug where multiple copies of the same server were being spawned on
kolossus

Change-Id: Ic1847e8ecba997ecfa901a572e1810d8221afe19

benedictpaten/cactus,benedictpaten/cactus,benedictpaten/cactus,benedictpaten/cactus,benedictpaten/cactus