From 38b32bfb2889ff3ad9e03a8b6b7902e22c8a87a1 Mon Sep 17 00:00:00 2001
From: Fabio Di Stasio <fabio286@gmail.com>
Date: Mon, 27 Nov 2023 13:37:24 +0100
Subject: [PATCH] build: process.exit on devtoolsInstaller

---
 scripts/devtoolsInstaller.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/devtoolsInstaller.js b/scripts/devtoolsInstaller.js
index 3af8068e..60348b1e 100644
--- a/scripts/devtoolsInstaller.js
+++ b/scripts/devtoolsInstaller.js
@@ -42,6 +42,7 @@ const downloadFile = url => {
       await unzip(filePath, destFolder);
       fs.unlinkSync(filePath);
       fs.unlinkSync(`${destFolder}/package.json`);// <- Avoid to display annoyng npm script in vscode
+      process.exit();
    }
    catch (error) {
       console.log(error);