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

neil_a_wilson
01.18.2007 3e3246e42af6979556dec66ec10ad3d3e009217c
opendj-sdk/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);