1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-20 21:01:25 +03:00

Fixed DNS issue

This commit is contained in:
Mimmo La Fauci
2012-03-15 01:18:43 +01:00
parent f8817eec89
commit d847c381c2
10 changed files with 120 additions and 18 deletions

View File

@ -232,6 +232,7 @@ static void atcp_conn_err_cb(void *arg, err_t err) {
int sock = getSock(ttcp);
if (sock)
clearMapSockTcp(sock);
_connected = false;
ard_tcp_done(ttcp, err);
}