From e13b05c68ca596131e101133de4514cb0d26d0d4 Mon Sep 17 00:00:00 2001
From: Howard20181 <40033067+Howard20181@users.noreply.github.com>
Date: Tue, 23 Aug 2022 15:52:26 +0800
Subject: [PATCH] Fix normal exit

---
 scripts/run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/run.sh b/scripts/run.sh
index cdbe450..20c3c72 100755
--- a/scripts/run.sh
+++ b/scripts/run.sh
@@ -34,7 +34,7 @@ abort() {
     fi
     exit 1
 }
-trap abort EXIT
+trap abort INT TERM
 
 if [ ! "$BASH_VERSION" ] ; then
     echo "Please do not use sh to run this script, just execute it directly" 1>&2