From cd3851638464a15a8a142191193bdc22b44d850e Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Wed, 17 Jul 2013 14:43:30 +0200
Subject: [PATCH] NetworkMonitor: avoid connecting if session is closed

---
 app/src/processing/app/NetworkMonitor.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/app/src/processing/app/NetworkMonitor.java b/app/src/processing/app/NetworkMonitor.java
index 54216deb6..e2f3def58 100644
--- a/app/src/processing/app/NetworkMonitor.java
+++ b/app/src/processing/app/NetworkMonitor.java
@@ -83,6 +83,9 @@ public class NetworkMonitor extends AbstractMonitor {
       }
     }
 
+    if (!session.isConnected()) {
+      return;
+    }
     channel = session.openChannel("exec");
     ((ChannelExec) channel).setCommand("telnet localhost 6571");