From 66052bef9c3c409807edfad01a8837f7dd40a5a6 Mon Sep 17 00:00:00 2001 From: Shuduo Sang Date: Mon, 1 Jun 2020 13:39:57 +0800 Subject: [PATCH] sigint is invalid signal, fix it with SIGINT. --- tests/script/sh/exec.sh | 2 +- tests/script/sh/exec_up.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/script/sh/exec.sh b/tests/script/sh/exec.sh index ebfe8861b0..1fd859213d 100755 --- a/tests/script/sh/exec.sh +++ b/tests/script/sh/exec.sh @@ -95,7 +95,7 @@ else if [ -n "$PID" ]; then if [ "$SIGNAL" = "SIGINT" ]; then echo killed by signal - kill -sigint $PID + kill -SIGINT $PID else kill -9 $PID fi diff --git a/tests/script/sh/exec_up.sh b/tests/script/sh/exec_up.sh index 51ad03fe99..5fba244d28 100755 --- a/tests/script/sh/exec_up.sh +++ b/tests/script/sh/exec_up.sh @@ -100,7 +100,7 @@ else if [ -n "$PID" ]; then if [ "$SIGNAL" = "SIGINT" ]; then echo killed by signal - kill -sigint $PID + kill -SIGINT $PID else kill -9 $PID fi -- GitLab