1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-30 19:52:13 +01:00

Minor fix in indentation and style

This commit is contained in:
Cristian Maglie 2018-11-23 18:35:27 +01:00
parent cfd3cf2b27
commit c03a8bc175

View File

@ -162,7 +162,7 @@ public class NetworkDiscovery implements Discovery, ServiceListener, Runnable {
@Override @Override
public List<BoardPort> listDiscoveredBoards() { public List<BoardPort> listDiscoveredBoards() {
synchronized (reachableBoardPorts) { synchronized (reachableBoardPorts) {
return getBoardPortsDiscoveredWithJmDNS(); return getBoardPortsDiscoveredWithJmDNS();
} }
} }
@ -176,8 +176,8 @@ public class NetworkDiscovery implements Discovery, ServiceListener, Runnable {
public void setReachableBoardPorts(List<BoardPort> newReachableBoardPorts) { public void setReachableBoardPorts(List<BoardPort> newReachableBoardPorts) {
synchronized (reachableBoardPorts) { synchronized (reachableBoardPorts) {
this.reachableBoardPorts.clear(); reachableBoardPorts.clear();
this.reachableBoardPorts.addAll(newReachableBoardPorts); reachableBoardPorts.addAll(newReachableBoardPorts);
} }
} }