From 9ee5643b404ea52c8e7332bff0ec82816623fe59 Mon Sep 17 00:00:00 2001
From: Donnie Adams <donnie@acorn.io>
Date: Wed, 18 Dec 2024 12:53:27 -0500
Subject: [PATCH] fix: kill current pid instead of 0

Signed-off-by: Donnie Adams <donnie@acorn.io>
---
 tools/dev.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/dev.sh b/tools/dev.sh
index 0ca4fc4c4..dc7ea0551 100755
--- a/tools/dev.sh
+++ b/tools/dev.sh
@@ -44,7 +44,7 @@ open_browser_tabs() {
 }
 
 cleanup() {
-  kill 0
+  kill $$
 }
 
 trap cleanup EXIT # Handles script exit and Ctrl-C