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

jarnou
17.16.2007 f609c18967baa45b467124b7c01f4f7317214370
opends/src/server/org/opends/server/core/PluginConfigManager.java
@@ -2470,7 +2470,7 @@
   * @return  The result of processing the pre-parse unbind plugins.
   */
  public PreParsePluginResult invokePreParseUnbindPlugins(
                                   UnbindOperation unbindOperation)
                                   UnbindOperationBasis unbindOperation)
  {
    PreParsePluginResult result = null;
@@ -3938,7 +3938,7 @@
   * @return  The result of processing the post-operation unbind plugins.
   */
  public PostOperationPluginResult invokePostOperationUnbindPlugins(
                                        UnbindOperation unbindOperation)
                                        UnbindOperationBasis unbindOperation)
  {
    PostOperationPluginResult result = null;