[Guido] > The time is not the problem, but when you don't have networking > properly configured, it will take a lot longer for the DNS requests to > time out, so I propose it should require the network resource. OK, it does now.