Re: Does batman choose DHCP server by random?