Avoiding duplicate boards in port menu

Author: Federico Fissore

app/src/cc/arduino/packages/discoverers/NetworkDiscovery.java

@@ -120,11 +120,23 @@ public void serviceResolved(ServiceEvent serviceEvent) {
     port.setProtocol("network");
     port.setPrefs(prefs);
     port.setLabel(label);
+
     synchronized (this) {
+      removeDuplicateBoards(port);
       ports.add(port);
     }
   }
 
+  private void removeDuplicateBoards(BoardPort newBoard) {
+    Iterator<BoardPort> iterator = ports.iterator();
+    while (iterator.hasNext()) {
+      BoardPort board = iterator.next();
+      if (newBoard.getAddress().equals(board.getAddress()) && newBoard.getBoardName().equals(board.getBoardName())) {
+        iterator.remove();
+      }
+    }
+  }
+
   @Override
   public void inetAddressAdded(InetAddress address) {
     if (mappedJmDNSs.containsKey(address)) {