Merge "ui: run-dev-server, kill more aggressively on Ctrl-C" into main

google · Jan 17, 2025 · 681f6c5 · 681f6c5
2 parents fbc034c + 25e49e1
commit 681f6c5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ui/build.js b/ui/build.js
@@ -209,8 +209,9 @@ async function main() {
   process.on('SIGINT', () => {
     console.log('\nSIGINT received. Killing all child processes and exiting');
     for (const proc of subprocesses) {
-      if (proc) proc.kill('SIGINT');
+      if (proc) proc.kill('SIGKILL');
     }
+    process.kill(0, 'SIGKILL');  // Kill the whole process group.
     process.exit(130);  // 130 -> Same behavior of bash when killed by SIGINT.
   });