docs: private WsByteBuffer makeBuffer(int len) {
          WsByteBuffer buffer = HttpDispatcher.getBufferManager().allocateDirect(len);
          buffer.put(this.buf, 0, len);
          buffer.flip();
          return buffer;
      }