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

boli
18.44.2008 35a408038c1de64a6f13f0e7b246a645e9945e3c
opends/src/server/org/opends/server/api/SynchronizationProvider.java
@@ -162,7 +162,7 @@
         throws DirectoryException
  {
    // No processing is required by default.
    return new SynchronizationProviderResult(true);
    return new SynchronizationProviderResult.ContinueProcessing();
  }
@@ -232,7 +232,7 @@
         throws DirectoryException
  {
    // No processing is required by default.
    return new SynchronizationProviderResult(true);
    return new SynchronizationProviderResult.ContinueProcessing();
  }
@@ -302,7 +302,7 @@
         throws DirectoryException
  {
    // No processing is required by default.
    return new SynchronizationProviderResult(true);
    return new SynchronizationProviderResult.ContinueProcessing();
  }
@@ -372,7 +372,7 @@
         throws DirectoryException
  {
    // No processing is required by default.
    return new SynchronizationProviderResult(true);
    return new SynchronizationProviderResult.ContinueProcessing();
  }