As on 15 September, 2003, the auto-restart script on the Resnet DHCP server failed. The script was restarted, and this solved the problem.