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

neil_a_wilson
01.18.2007 a49dee3f75d6e2548e9114d9495655dd56f06973
opends/src/server/org/opends/server/api/plugin/PostOperationPluginResult.java
@@ -87,7 +87,6 @@
  public PostOperationPluginResult(boolean connectionTerminated,
                                   boolean continuePluginProcessing)
  {
    this.connectionTerminated     = connectionTerminated;
    this.continuePluginProcessing = continuePluginProcessing;
  }
@@ -104,7 +103,6 @@
   */
  public boolean connectionTerminated()
  {
    return connectionTerminated;
  }
@@ -120,7 +118,6 @@
   */
  public boolean continuePluginProcessing()
  {
    return continuePluginProcessing;
  }
@@ -135,7 +132,6 @@
   */
  public String toString()
  {
    StringBuilder buffer = new StringBuilder();
    toString(buffer);
    return buffer.toString();
@@ -152,7 +148,6 @@
   */
  public void toString(StringBuilder buffer)
  {
    buffer.append("PostOperationPluginResult(connectionTerminated=");
    buffer.append(connectionTerminated);
    buffer.append(", continuePluginProcessing=");