arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-30 16:24:09 +03:00
Code Activity

Removed cleanup for jmDNS

Browse Source
This commit is contained in:
Cristian Maglie
2013-06-03 00:47:41 +02:00
parent 4b0a976686
commit 3f9bb3e58c
1 changed files with 11 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
app/src/cc/arduino/packages/discoverers/NetworkDiscovery.java
View File

@ -21,7 +21,7 @@ public class NetworkDiscovery implements Discovery, ServiceListener {
private JmDNS jmDNS; private JmDNS jmDNS;
private List<BoardPort> ports = new CopyOnWriteArrayList<BoardPort>(); private List<BoardPort> ports = new CopyOnWriteArrayList<BoardPort>();
@Override @Override
public List<BoardPort> discovery() { public List<BoardPort> discovery() {
return ports; return ports;
@ -43,11 +43,13 @@ public class NetworkDiscovery implements Discovery, ServiceListener {
@Override @Override
public void stop() { public void stop() {
try { // Removed cleanup: is extremely slow on closing
jmDNS.close();
} catch (IOException e) { // try {
e.printStackTrace(); // jmDNS.close();
} // } catch (IOException e) {
// e.printStackTrace();
// }
} }
@Override @Override
@ -74,9 +76,10 @@ public class NetworkDiscovery implements Discovery, ServiceListener {
@Override @Override
public void serviceResolved(ServiceEvent serviceEvent) { public void serviceResolved(ServiceEvent serviceEvent) {
String address = serviceEvent.getInfo().getInet4Addresses()[0].getHostAddress(); String address = serviceEvent.getInfo().getInet4Addresses()[0]
.getHostAddress();
String name = serviceEvent.getName(); String name = serviceEvent.getName();
BoardPort port = new BoardPort(); BoardPort port = new BoardPort();
port.setAddress(address); port.setAddress(address);
port.setBoardName(name); port.setBoardName(name);