Fix SerialMonitor reopen on reconnect

facchinm · facchinm · commit b7a6d93d0aae · 2019-07-18T13:50:03.000+02:00
diff --git a/app/src/processing/app/AbstractMonitor.java b/app/src/processing/app/AbstractMonitor.java
@@ -80,7 +80,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
`@@ -80,7 +80,7 @@ public void actionPerformed(ActionEvent event) {`
`80`	`80`	`@Override`
`81`	`81`	`public void actionPerformed(ActionEvent ae) {`
`82`	`82`	`try {`
`83`		`- if (!Base.getDiscoveryManager().discovery().contains(boardPort)) {`
	`83`	`+ if (Base.getDiscoveryManager().find(boardPort.getAddress()) == null) {`
`84`	`84`	`if (!closed) {`
`85`	`85`	`suspend();`
`86`	`86`	`}`