diff options
Diffstat (limited to 'tests/do-verify.sh')
| -rwxr-xr-x | tests/do-verify.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tests/do-verify.sh b/tests/do-verify.sh index f6e5f41..2f4c695 100755 --- a/tests/do-verify.sh +++ b/tests/do-verify.sh @@ -8,6 +8,12 @@ OPENSSL_CONF="$1"; shift SERVER_PROVIDER= [ $# -ge 1 ] && { SERVER_PROVIDER="$1"; shift; } +cleanup() { + if [ -n "$SERVER_PROVIDER" ]; then + p11-kit server --kill > /dev/null + fi +} +trap cleanup EXIT if [ -n "$SERVER_PROVIDER" ]; then P11_KIT_ENV=$(p11-kit server $SERVER_PROVIDER) @@ -22,6 +28,3 @@ for url in $token_urls; do -signature $SIGFILE | egrep "^Verified OK$" done -if [ -n "$SERVER_PROVIDER" ]; then - p11-kit server --kill > /dev/null -fi |