use pure python to kill the old server; pass in the old server's PID to the update command