[PATCH 2/5] ids.cgi: Generate and store the DNS server configuration.