Fix SerialMonitor reopen on reconnect

facchinm · facchinm · commit 1983847511d6 · 2019-03-18T10:35:57.000+01:00
diff --git a/app/src/processing/app/AbstractMonitor.java b/app/src/processing/app/AbstractMonitor.java
@@ -78,7 +78,7 @@ public void actionPerformed(ActionEvent event) {
       @Override
       public void actionPerformed(ActionEvent ae) {
         try {
-          if (!Base.getDiscoveryManager().discovery().contains(boardPort)) {
+          if (Base.getDiscoveryManager().find(boardPort.getAddress()) == null) {
             if (!closed) {
               suspend();
             }

Original file line number	Diff line number	Diff line change
`@@ -78,7 +78,7 @@ public void actionPerformed(ActionEvent event) {`
`78`	`78`	`@Override`
`79`	`79`	`public void actionPerformed(ActionEvent ae) {`
`80`	`80`	`try {`
`81`		`- if (!Base.getDiscoveryManager().discovery().contains(boardPort)) {`
	`81`	`+ if (Base.getDiscoveryManager().find(boardPort.getAddress()) == null) {`
`82`	`82`	`if (!closed) {`
`83`	`83`	`suspend();`
`84`	`84`	`}`