Method restart

src/back/ManagedChildProcess.ts:163–182

Restart the managed child process (by killing the current, and spawning a new).

()

  /** Restart the managed child process (by killing the current, and spawning a new). */
  public async restart(): Promise<void> {
    if (this.process && !this._isRestarting) {
      this.setState(ProcessState.KILLING);
      this._isRestarting = true;
      this.logContent(`Restarting ${this.name} process`);
      // Replace all listeners with a single listener waiting for the process to exit
      this.process.removeAllListeners();
      this.process.once('exit', (code, signal) => {
        if (code) { this.logContent(`Old ${this.name} exited with code ${code}`);     }
        else      { this.logContent(`Old ${this.name} exited with signal ${signal}`); }
        this._isRestarting = false;
        this.spawn();
      });
      // Kill process
      await this.treeKill(this.process.pid);
      this.process = undefined;
    } else {
      this.spawn();
    }
  }

  private treeKill = async (PID: number): Promise<void> => {
    await new Promise<void>((resolve, reject) => {