Fix nsapi_dns_add_server to add a server just once

pull/11162/head
Ari Parkkila 2019-08-05 03:11:06 -07:00
parent e69a7c913d
commit 3f74a7f6f9
1 changed files with 7 additions and 0 deletions

View File

@ -131,6 +131,13 @@ static bool dns_timer_running = false;
// DNS server configuration // DNS server configuration
extern "C" nsapi_error_t nsapi_dns_add_server(nsapi_addr_t addr, const char *interface_name) extern "C" nsapi_error_t nsapi_dns_add_server(nsapi_addr_t addr, const char *interface_name)
{ {
// check if addr was already added
for (int i = 0; i < DNS_SERVERS_SIZE; i++) {
if (memcmp(&addr, &dns_servers[i], sizeof(nsapi_addr_t)) == 0) {
return NSAPI_ERROR_OK;
}
}
memmove(&dns_servers[1], &dns_servers[0], memmove(&dns_servers[1], &dns_servers[0],
(DNS_SERVERS_SIZE - 1)*sizeof(nsapi_addr_t)); (DNS_SERVERS_SIZE - 1)*sizeof(nsapi_addr_t));