Detect broken pipe errors on stdout/stderr

Author: otethal

graalpython/com.oracle.graal.python.shell/src/com/oracle/graal/python/shell/GraalPythonMain.java

@@ -27,6 +27,8 @@
 
 import java.io.EOFException;
 import java.io.File;
+import java.io.FileDescriptor;
+import java.io.FileOutputStream;
 import java.io.IOException;
 import java.io.InputStream;
 import java.io.OutputStream;
@@ -385,6 +387,9 @@ private String getExecutable() {
 
     @Override
     protected void launch(Builder contextBuilder) {
+        // prevent the use of System.out/err - they are PrintStreams which suppresses exceptions
+        contextBuilder.out(new FileOutputStream(FileDescriptor.out));
+        contextBuilder.err(new FileOutputStream(FileDescriptor.err));
         if (!ignoreEnv) {
             String pythonpath = System.getenv("PYTHONPATH");
             if (pythonpath != null) {

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/objects/exception/OSErrorEnum.java

@@ -312,6 +312,9 @@ private static String getReason(FileSystemException e) {
 
     @TruffleBoundary
     private static OSErrorEnum tryFindErrnoFromMessage(Exception e) {
+        if (e.getMessage().contains("Broken pipe")) {
+            return OSErrorEnum.EPIPE;
+        }
         Matcher m = ERRNO_PATTERN.matcher(e.getMessage());
         if (m.find()) {
             return fromNumber(Integer.parseInt(m.group(1)));