Delete nonexisting servers from redis