From 0ed726b421d4edbd0c68efc9b03b2a5f3d02dedd Mon Sep 17 00:00:00 2001 From: Danny Faught Date: Tue, 30 May 2023 09:21:50 -0700 Subject: [PATCH] fix: make kill more reliable --- scripts/kill_uaa.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/kill_uaa.sh b/scripts/kill_uaa.sh index 1edaa2f2113..fa08acb7250 100755 --- a/scripts/kill_uaa.sh +++ b/scripts/kill_uaa.sh @@ -1,3 +1,3 @@ #!/usr/bin/env bash -jps | grep Bootstrap | cut -f 1 -d' ' | xargs kill +jps | grep Bootstrap | cut -f 1 -d' ' | xargs kill -HUP