Don't kill the server if an expired workspace process has already died