minor changes to the core

libraries/ESP8266WiFi/src/include/UdpContext.h

@@ -174,7 +174,7 @@ class UdpContext
             return 0;
 
         udp_hdr* udphdr = GET_UDP_HDR(_rx_buf);
-        return ntohs(udphdr->src);
+        return lwip_ntohs(udphdr->src);
     }
 
     uint32_t getDestAddress()
@@ -252,6 +252,7 @@ class UdpContext
 
     void flush()
     {
+        //XXX this does not follow Arduino's flush definition
         if (!_rx_buf)
             return;
 

libraries/ESP8266mDNS/ESP8266mDNS.cpp

@@ -431,11 +431,11 @@ MDNSTxt * MDNSResponder::_getServiceTxt(char *name, char *proto){
   for (servicePtr = _services; servicePtr; servicePtr = servicePtr->_next) {
     if(servicePtr->_port > 0 && strcmp(servicePtr->_name, name) == 0 && strcmp(servicePtr->_proto, proto) == 0){
       if (servicePtr->_txts == 0) 
-        return false;
+        return nullptr;
       return servicePtr->_txts;
     }
   }
-  return 0;
+  return nullptr;
 }
 
 uint16_t MDNSResponder::_getServiceTxtLen(char *name, char *proto){