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

neil_a_wilson
16.45.2006 2518a13dca43c0227a982e429ed83fda8d6110c4
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;