Synopsis

void ctl_dns_set_server(int index,
                        CTL_NET_IPv4_ADDR_t addr);

Description

ctl_dns_set_server sets index entry index of the DNS server list to addr. Index 0 is the primary DNS server, 1 is the secondary server, and so on.