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

neil_a_wilson
23.27.2006 e1862b6b8d276a6719f1277a7ca9781a1294180c
opends/src/server/org/opends/server/core/SearchOperation.java
@@ -1974,6 +1974,31 @@
      }
      // Check for and handle a request to cancel this operation.
      if (cancelRequest != null)
      {
        setCancelResult(CancelResult.CANCELED);
        if (cancelRequest.notifyOriginalRequestor() ||
            DirectoryServer.notifyAbandonedOperations())
        {
          setResultCode(ResultCode.CANCELED);
          String cancelReason = cancelRequest.getCancelReason();
          if (cancelReason != null)
          {
            appendErrorMessage(cancelReason);
          }
          clientConnection.sendResponse(this);
        }
        processingStopTime = System.currentTimeMillis();
        logSearchResultDone(this);
        return;
      }
      // Get the backend that should hold the search base.  If there is none,
      // then fail.
      Backend backend = DirectoryServer.getBackend(baseDN);