I think you can pull this from /etc/default/dhcpd or something like that, at least on ubuntu