mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

neil_a_wilson
16.45.2006 9f04857f46200f98cfe4d57e6a874822bfff8616
opendj-sdk/opends/src/server/org/opends/server/extensions/PKCS11KeyManagerProvider.java
@@ -257,7 +257,7 @@
        {
          String fileName = pinFileAttr.activeValue();
          File pinFile = new File(fileName);
          File pinFile = getFileForPath(fileName);
          if (! pinFile.exists())
          {
            msgID = MSGID_PKCS11_KEYMANAGER_PIN_NO_SUCH_FILE;
@@ -612,7 +612,7 @@
        {
          String fileName = pinFileAttr.activeValue();
          File pinFile = new File(fileName);
          File pinFile = getFileForPath(fileName);
          if (! pinFile.exists())
          {
            msgID = MSGID_PKCS11_KEYMANAGER_PIN_NO_SUCH_FILE;
@@ -858,7 +858,7 @@
        {
          String fileName = pinFileAttr.activeValue();
          File pinFile = new File(fileName);
          File pinFile = getFileForPath(fileName);
          if (! pinFile.exists())
          {
            msgID = MSGID_PKCS11_KEYMANAGER_PIN_NO_SUCH_FILE;