I was wrong about the DHCPNAK: it can be sent only with a DHCPREQUEST, when a DHCPDISCOVER fails to offer an address it is simply dropped and no response is sent. Regards Francis Dupont <fdupont at isc.org>