base_url = du.getAttributeValue(root, new XPath("base-url/@href"));
scope_url = du.getAttributeValue(root, new XPath("scope-url/@href"));
user_agent = du.getElementValue(root, new XPath("user-agent"));
uri_list = du.getAttributeValue(root, new XPath("uri-list/@src"));
htdocs_dump_dir = du.getAttributeValue(root, new XPath("htdocs-dump-dir/@src"));
if (du.elementExists(root, new XPath("robots"))) {
robots_file = du.getAttributeValue(root, new XPath("robots/@src"));
robots_domain = du.getAttributeValue(root, new XPath("robots/@domain"));
}
}