| Index: editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/util/ResourceServerHandler.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/util/ResourceServerHandler.java (revision 9145)
|
| +++ editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/util/ResourceServerHandler.java (working copy)
|
| @@ -45,6 +45,7 @@
|
| import java.net.ConnectException;
|
| import java.net.InetAddress;
|
| import java.net.Socket;
|
| +import java.net.SocketException;
|
| import java.net.URI;
|
| import java.net.URL;
|
| import java.net.URLConnection;
|
| @@ -263,7 +264,7 @@
|
| safeClose(socket);
|
|
|
| // ignore java.net.SocketException: Connection reset
|
| - if (!(ioe instanceof ConnectException)) {
|
| + if (!(ioe instanceof ConnectException) && !isConnectionReset(ioe)) {
|
| DartDebugCorePlugin.logError(ioe);
|
| }
|
| } catch (Throwable t) {
|
| @@ -592,6 +593,16 @@
|
| return false;
|
| }
|
|
|
| + private boolean isConnectionReset(IOException ioe) {
|
| + // ignore java.net.SocketException: Connection reset
|
| +
|
| + if (ioe instanceof SocketException) {
|
| + return "Connection reset".equals(ioe.getMessage());
|
| + }
|
| +
|
| + return false;
|
| + }
|
| +
|
| private boolean isFileJsArtifact(File javaFile) {
|
| return javaFile.getName().endsWith(".dart.js");
|
| }
|
|
|