debugging failed server restart