# HG changeset patch
# User Christian Humer <christian.humer@gmail.com>
# Date 1396542759 -7200
# Node ID b5fed092083ff421384d2890d597d0003fdf6d11
# Parent  a6bd51a7c14c68cb8042695fabc7940602524719
Socket interrupts should not be treated as errors in GraphPrinterDumpHandler.

diff -r a6bd51a7c14c -r b5fed092083f graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinterDumpHandler.java
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinterDumpHandler.java	Thu Apr 03 15:03:45 2014 +0200
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinterDumpHandler.java	Thu Apr 03 18:32:39 2014 +0200
@@ -136,6 +136,13 @@
                 printer = xmlPrinter;
             }
             TTY.println("Connected to the IGV on %s:%d", host, port);
+        } catch (ClosedByInterruptException | InterruptedIOException e) {
+            /*
+             * Interrupts should not count as errors because they may be caused by a cancelled Graal
+             * compilation. ClosedByInterruptException occurs if the SocketChannel could not be
+             * opened. InterruptedIOException occurs if new Socket(..) was interrupted.
+             */
+            printer = null;
         } catch (IOException e) {
             TTY.println("Could not connect to the IGV on %s:%d : %s", host, port, e);
             failuresCount++;