Method handleDone

src/python/worker.ts:232–245

(responseFile: string)

  }

  private handleDone(responseFile: string): void {
    const normalizedResponseFile = responseFile.replace(/[\r\n]+$/, '');
    if (this.pendingRequest?.responseFile === normalizedResponseFile) {
      this.pendingRequest.resolve(undefined);
      this.pendingRequest = null;
      return;
    }
    // Either no request is in flight, or the path does not match the one we
    // dispatched. Do not record either path: the received marker is
    // provider-controlled and the pending path belongs to a private temp dir.
    logger.debug('Python worker ignored DONE marker that did not match the in-flight request', {
      hasPendingRequest: this.pendingRequest !== null,
    });
  }

  private handleCrash(): void {
    this.ready = false;