equal
deleted
inserted
replaced
707 end |
707 end |
708 if not what or what == "dns" then |
708 if not what or what == "dns" then |
709 local dns = require "net.dns"; |
709 local dns = require "net.dns"; |
710 pcall(function () |
710 pcall(function () |
711 local unbound = require"net.unbound"; |
711 local unbound = require"net.unbound"; |
712 local unbound_config = configmanager.get("*", "unbound") or {}; |
|
713 unbound_config.hoststxt = false; -- don't look at /etc/hosts |
|
714 configmanager.set("*", "unbound", unbound_config); |
|
715 unbound.dns.purge(); -- ensure the above config is used |
|
716 dns = unbound.dns; |
712 dns = unbound.dns; |
717 end) |
713 end) |
718 local idna = require "util.encodings".idna; |
714 local idna = require "util.encodings".idna; |
719 local ip = require "util.ip"; |
715 local ip = require "util.ip"; |
720 local c2s_ports = set.new(configmanager.get("*", "c2s_ports") or {5222}); |
716 local c2s_ports = set.new(configmanager.get("*", "c2s_ports") or {5222}); |