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

jdemendi
17.56.2007 4465bb9e91d398dcf1a436df73a0c171a4e4f440
opends/src/server/org/opends/server/core/PluginConfigManager.java
@@ -1733,7 +1733,7 @@
   * @return  The result of processing the pre-parse abandon plugins.
   */
  public PreParsePluginResult invokePreParseAbandonPlugins(
                                   AbandonOperation abandonOperation)
                                   AbandonOperationBasis abandonOperation)
  {
    PreParsePluginResult result = null;
@@ -3201,7 +3201,7 @@
   * @return  The result of processing the post-operation abandon plugins.
   */
  public PostOperationPluginResult invokePostOperationAbandonPlugins(
                                        AbandonOperation abandonOperation)
                                        AbandonOperationBasis abandonOperation)
  {
    PostOperationPluginResult result = null;