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

matthew_swift
10.41.2008 218b40d6e175f5b58b89ff7e0b3050577d3aff2f
opends/src/server/org/opends/server/core/SearchOperationBasis.java
@@ -1277,7 +1277,7 @@
      if (persistentSearch != null)
      {
        DirectoryServer.deregisterPersistentSearch(persistentSearch);
        persistentSearch.cancel();
        persistentSearch = null;
      }
    }