/// window["require_setup"](module); import * as dns_handler from "teaclient_dns"; namespace _dns { export function supported() { return true; } export async function resolve_address(address: ServerAddress, _options?: dns.ResolveOptions) : Promise { /* backwards compatibility */ if(typeof(address) === "string") { address = { host: address, port: 9987 } } return new Promise((resolve, reject) => { dns_handler.resolve_cr(address.host, address.port, result => { if(typeof(result) === "string") reject(result); else resolve({ target_ip: result.host, target_port: result.port }); }); }) } } Object.assign(window["dns"] || (window["dns"] = {} as any), _dns); loader.register_task(loader.Stage.JAVASCRIPT_INITIALIZING, { name: "Native DNS initialized", function: async () => { dns_handler.initialize(); }, priority: 10 });