message: Should catch errors of kill commands.
diff: @@ -54,13 +54,20 @@ export class Builder {
  const proc = this.currentProcess
  if (proc) {
  const pid = proc.pid
  + try {
  if (process.platform === 'linux' || process.platform === 'darwin') {
  cp.execSync(`pkill -P ${pid}`)
  } else if (process.platform === 'win32') {
  cp.execSync(`taskkill /F /T /PID ${pid}`)
  }
  + } catch (e) {
  + if (e instanceof Error) {
  + this.extension.logger.addLogMessage(`Error when killing child processes of the current build process. ${e.message}`)
  + }
  + } finally {
  proc.kill()
  this.extension.logger.addLogMessage(`Kill the current process. PID: ${pid}.`)
  + }
  } else {
  this.extension.logger.addLogMessage('LaTeX build process to kill is not found.')
  }
  