Index: bin/fix_pkcs11_token.sh |
diff --git a/bin/fix_pkcs11_token.sh b/bin/fix_pkcs11_token.sh |
index 31ccf228dbf2f9a667a944d87fcebe1412598006..2f080f4feac6105c4fcd9adcf04b0865e302fee1 100755 |
--- a/bin/fix_pkcs11_token.sh |
+++ b/bin/fix_pkcs11_token.sh |
@@ -31,14 +31,10 @@ is_token_broken() { |
return 0 |
fi |
- if [ "/var/lib/.tpm_owned" -nt "$USER_TOKEN_DIR" ]; then |
- log "PKCS#11 token for $USERNAME is from a previous TPM owner." |
- return 0 |
- fi |
- |
if [ ! -e "$USER_TOKEN_DIR/PRIVATE_ROOT_KEY.pem" -o \ |
! -e "$USER_TOKEN_DIR/TOK_OBJ/70000000" ]; then |
- log "PKCS#11 token for $USERNAME is missing some files." |
+ log "PKCS#11 token for $USERNAME is missing some files. Possibly not yet" |
+ log "initialized? TOK_OBJ contents were $(echo $USER_TOKEN_DIR/TOK_OBJ/*)." |
return 0 |
fi |