From 4642f9be0af92e6e8cde9a67b8c460541b665ffa Mon Sep 17 00:00:00 2001
From: Louis Lam <louislam@users.noreply.github.com>
Date: Mon, 20 Feb 2023 23:15:49 +0800
Subject: [PATCH] Fix download-dist.js do not exit sometimes

---
 extra/download-dist.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extra/download-dist.js b/extra/download-dist.js
index b04beec7a..a854ca8b2 100644
--- a/extra/download-dist.js
+++ b/extra/download-dist.js
@@ -47,6 +47,7 @@ function download(url) {
                     });
                 }
                 console.log("Done");
+                process.exit(0);
             });
 
             tarStream.on("error", () => {