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

neil_a_wilson
01.18.2007 a49dee3f75d6e2548e9114d9495655dd56f06973
opends/src/server/org/opends/server/api/plugin/PostDisconnectPluginResult.java
@@ -77,7 +77,6 @@
   */
  public PostDisconnectPluginResult(boolean continuePluginProcessing)
  {
    this.continuePluginProcessing = continuePluginProcessing;
  }
@@ -93,7 +92,6 @@
   */
  public boolean continuePluginProcessing()
  {
    return continuePluginProcessing;
  }
@@ -108,7 +106,6 @@
   */
  public String toString()
  {
    StringBuilder buffer = new StringBuilder();
    toString(buffer);
    return buffer.toString();
@@ -125,7 +122,6 @@
   */
  public void toString(StringBuilder buffer)
  {
    buffer.append("PostDisconnectPluginResult(" +
                  "continuePluginProcessing=");
    buffer.append(continuePluginProcessing);