Revert DNS merge

Revert 1d3660459e
This commit is contained in:
Davide De Rosa 2019-04-27 17:10:29 +02:00
parent 53c393f2d7
commit 3505f68b04
1 changed files with 1 additions and 4 deletions

View File

@ -577,10 +577,7 @@ extension TunnelKitProvider: SessionProxyDelegate {
} }
var dnsSettings: NEDNSSettings? var dnsSettings: NEDNSSettings?
var dnsServers = cfg.sessionConfiguration.dnsServers ?? [] var dnsServers = cfg.sessionConfiguration.dnsServers ?? reply.options.dnsServers ?? []
if let replyDNSServers = reply.options.dnsServers {
dnsServers.append(contentsOf: replyDNSServers)
}
// fall back to system-wide DNS servers // fall back to system-wide DNS servers
if dnsServers.isEmpty { if dnsServers.isEmpty {