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

boli
16.24.2007 8e861d1687734a2d974a8e1ad1f951cd0f3294a3
opends/src/server/org/opends/server/loggers/TextWriter.java
@@ -87,7 +87,7 @@
     */
    public void shutdown()
    {
      writer.close();
      // Should never close the system out stream.
    }
    /**
@@ -128,7 +128,7 @@
     */
    public void shutdown()
    {
      writer.close();
      // Should never close the system error stream.
    }
    /**