system: remove unused get_dns_servers() #3020

This commit is contained in:
Franco Fichtner 2018-12-07 12:30:51 +00:00
parent 5cf8b4f2e2
commit 0dbc3cc51e

View File

@ -288,22 +288,6 @@ function get_searchdomains()
return array_unique($master_list);
}
function get_dns_servers()
{
$dns_servers = array();
$dns_s = file('/etc/resolv.conf', FILE_IGNORE_NEW_LINES | FILE_SKIP_EMPTY_LINES);
foreach($dns_s as $dns) {
$matches = '';
if (preg_match('/nameserver ([^ ]+)/', $dns, $matches)) {
$dns_servers[] = $matches[1];
}
}
return array_unique($dns_servers);
}
function get_nameservers($realif = '')
{
$master_list = array();