diff options
| -rw-r--r-- | src/tpmtool.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tpmtool.c b/src/tpmtool.c index 3caa68ae3f..23085b1976 100644 --- a/src/tpmtool.c +++ b/src/tpmtool.c @@ -337,6 +337,7 @@ static void tpm_list(FILE * out) else if (ret < 0) { fprintf(stderr, "gnutls_tpm_key_list_get_url: %s\n", gnutls_strerror(ret)); + gnutls_tpm_key_list_deinit(list); exit(1); } @@ -344,6 +345,7 @@ static void tpm_list(FILE * out) gnutls_free(url); } + gnutls_tpm_key_list_deinit(list); fputs("\n", out); } |