Fix kill_server() is called multiple times when interrupted.