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

boli
24.13.2007 4b4ecf5f226a9222003a115505fe0eb1e8edfc82
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)