# configuration for dhcp server