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

jcduff
23.04.2008 b4f8838b15342670c31753a484abf0129e3c9653
opendj-sdk/opends/src/server/org/opends/server/api/SynchronizationProvider.java
@@ -130,7 +130,7 @@
  /**
   * Performs any necessary finalization for this synchronization
   * provider.  This will be called just after the provider has been
   * deregistered with the server but before it has been unloaded.
   * unregistered with the server but before it has been unloaded.
   */
  public void finalizeSynchronizationProvider()
  {