use 'kill', not 'kill -9' (#379)

This commit is contained in:
Josh Rabinowitz 2019-03-07 15:17:51 -05:00 committed by GitHub
parent cdad4aba37
commit c4331693f3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -67,7 +67,7 @@ function stop_gpg_agent {
local username
username=$(id -u -n)
ps -wx -U "$username" | gawk \
'/gpg-agent --homedir/ { if ( $0 !~ "awk" ) { system("kill -9 "$1) } }' \
'/gpg-agent --homedir/ { if ( $0 !~ "awk" ) { system("kill "$1) } }' \
> /dev/null 2>&1
}