Give names to ChannelPump threads

Author: otethal

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/runtime/ProcessWrapper.java

@@ -79,23 +79,23 @@ public ProcessWrapper(Process process, boolean pipeStdin, boolean pipeStdout, bo
         this.process = process;
         if (pipeStdin) {
             inPipe = Pipe.open();
-            inThread = new ChannelPump(inPipe.source(), Channels.newChannel(process.getOutputStream()));
+            inThread = new ChannelPump("stdin", inPipe.source(), Channels.newChannel(process.getOutputStream()));
             inThread.start();
         } else {
             inPipe = null;
             inThread = null;
         }
         if (pipeStdout) {
             outPipe = Pipe.open();
-            outThread = new ChannelPump(Channels.newChannel(process.getInputStream()), outPipe.sink());
+            outThread = new ChannelPump("stdout", Channels.newChannel(process.getInputStream()), outPipe.sink());
             outThread.start();
         } else {
             outPipe = null;
             outThread = null;
         }
         if (pipeStderr) {
             errPipe = Pipe.open();
-            errThread = new ChannelPump(Channels.newChannel(process.getErrorStream()), errPipe.sink());
+            errThread = new ChannelPump("stderr", Channels.newChannel(process.getErrorStream()), errPipe.sink());
             errThread.start();
         } else {
             errPipe = null;
@@ -175,7 +175,8 @@ static class ChannelPump extends Thread {
         private final ReadableByteChannel source;
         private final WritableByteChannel sink;
 
-        ChannelPump(ReadableByteChannel source, WritableByteChannel sink) {
+        ChannelPump(String streamName, ReadableByteChannel source, WritableByteChannel sink) {
+            super("ChannelPump-" + streamName);
             this.source = source;
             this.sink = sink;
         }