src/jdk.jshell/share/classes/jdk/jshell/execution/MultiplexingOutputStream.java

rev 3613 : imported patch 8131023

*** 49,76 ****
      }
  
      @Override
      public void write(int b) throws IOException {
          synchronized (delegate) {
!             delegate.write(name.length); //assuming the len is small enough to fit into byte
!             delegate.write(name);
!             delegate.write(1);
!             delegate.write(b);
              delegate.flush();
          }
      }
  
      @Override
      public void write(byte[] b, int off, int len) throws IOException {
          synchronized (delegate) {
              int i = 0;
              while (len > 0) {
                  int size = Math.min(PACKET_SIZE, len);
!                 delegate.write(name.length); //assuming the len is small enough to fit into byte
!                 delegate.write(name);
!                 delegate.write(size);
!                 delegate.write(b, off + i, size);
                  i += size;
                  len -= size;
              }
              delegate.flush();
          }
--- 49,80 ----
      }
  
      @Override
      public void write(int b) throws IOException {
          synchronized (delegate) {
!             byte[] data = new byte[name.length + 1 + 1 + 1];
!             data[0] = (byte) name.length; //assuming the len is small enough to fit into byte
!             System.arraycopy(name, 0, data, 1, name.length);
!             data[name.length + 1] = 1;
!             data[name.length + 2] = (byte) b;
!             delegate.write(data);
              delegate.flush();
          }
      }
  
      @Override
      public void write(byte[] b, int off, int len) throws IOException {
          synchronized (delegate) {
              int i = 0;
              while (len > 0) {
                  int size = Math.min(PACKET_SIZE, len);
!                 byte[] data = new byte[name.length + 1 + size + 1];
!                 data[0] = (byte) name.length; //assuming the len is small enough to fit into byte
!                 System.arraycopy(name, 0, data, 1, name.length);
!                 data[name.length + 1] = (byte) size;
!                 System.arraycopy(b, off + i, data, name.length + 2, size);
!                 delegate.write(data);
                  i += size;
                  len -= size;
              }
              delegate.flush();
          }