Remove an IDOL Server from the Distributed Index Handler

You can remove an IDOL server from the list of servers to which the DIH can distribute actions.