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

boli
04.24.2008 f67af7588ba1f7827bc6ff907729d14bf39a19f6
opends/src/server/org/opends/server/workflowelement/localbackend/LocalBackendSearchOperation.java
@@ -260,6 +260,16 @@
        break searchProcessing;
      }
      catch (CanceledOperationException coe)
      {
        if (persistentSearch != null)
        {
          DirectoryServer.deregisterPersistentSearch(persistentSearch);
          setSendResponse(true);
        }
        throw coe;
      }
      catch (Exception e)
      {
        if (debugEnabled())