tree c75a0b955ffa2d860c9d06a891ba55c6eb930118
parent 6d7e7ba1254549a2d65e63506fe4254bde516ce4
author Jiang Yan Xu <yan@jxu.me> 1433193691 -0700
committer Jiang Yan Xu <yan@jxu.me> 1433193945 -0700

Fix a bug in which deleting the cluster doesn't stop its launcher and elector.