| 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
|
|
|
|
|