Factor out KillServer code.
Factor out KillServer code.

alexdebrie/pachyderm,sambooo/pachyderm,ShengjieLuo/pachyderm,ShengjieLuo/pachyderm,kunthar/pachyderm,kunthar/pachyderm,sambooo/pachyderm,phacops/pachyderm,ShengjieLuo/pachyderm,klucar/pachyderm,phacops/pachyderm,alexdebrie/pachyderm,klucar/pachyderm,alexdebrie/pachyderm,klucar/pachyderm,sambooo/pachyderm