Scott,
This is something that has been discussed. Do to your concern, I think that this check will be added, but it will only be a start-up check. Once we are running, if another DHCP server comes online, well... that's someone else's issue.
Also, after a quick discussion, it looks like we'll be adding the ability to configure NTP clients over DHCP (it's in the options the server can dish out). This way, if you end up using one of our NTP servers in an offline situation, client devices could automagically configure all their network settings over DHCP.
The list of DHCP options that are always handled are:
- message type
- server ID
- lease time
The list of DHCP options that can be handled are:
- router
- subnet_mask
- dns_server
- log_server
- domain_name
- ntp_server
- tftp_server
- bootfile
- smtp_server
-Dan