/* Configure which DNS server to use for queries. */
void resolv_conf(u16_t *dnsserver)
/* Configure which DNS server to use for queries. */
void resolv_conf(u16_t *dnsserver)
{
  if (resolv_conn != NULL)
  {
    uip_udp_remove(resolv_conn);
  }
  resolv_conn = uip_udp_new(dnsserver, HTONS(53));
}