mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

boli
24.13.2007 36a53509a2f0c1d6886b4e30b80c4d96067daee3
opendj-sdk/opends/src/server/org/opends/server/util/StaticUtils.java
@@ -38,6 +38,7 @@
import java.io.FileOutputStream;
import java.io.IOException;
import java.io.InputStreamReader;
import java.io.InputStream;
import java.lang.reflect.InvocationTargetException;
import java.nio.ByteBuffer;
import java.text.ParseException;
@@ -2388,13 +2389,14 @@
    }
    else
    {
      InputStream processStream =  process.getInputStream();
      BufferedReader reader =
           new BufferedReader(new InputStreamReader(
                                       process.getInputStream()));
      try
      {
        while (true)
        while (processStream.available() > 0)
        {
          String line = reader.readLine();
          if (line == null)