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

neil_a_wilson
16.45.2006 2518a13dca43c0227a982e429ed83fda8d6110c4
opends/src/server/org/opends/server/plugins/profiler/ProfilerPlugin.java
@@ -256,7 +256,8 @@
           configEntry.getConfigAttribute(profileDirStub);
      if (profileDirAttr != null)
      {
        profileDirectory = profileDirAttr.activeValue();
        profileDirectory =
             getFileForPath(profileDirAttr.activeValue()).getAbsolutePath();
      }
    }
    catch (Exception e)
@@ -539,7 +540,7 @@
           configEntry.getConfigAttribute(profileDirStub);
      if (profileDirAttr != null)
      {
        File dirFile = new File(profileDirAttr.activeValue());
        File dirFile = getFileForPath(profileDirAttr.activeValue());
        if (! (dirFile.exists() && dirFile.isDirectory()))
        {
          msgID = MSGID_PLUGIN_PROFILER_INVALID_PROFILE_DIR;
@@ -696,7 +697,7 @@
        String dirString = profileDirAttr.pendingValue();
        if (! dirString.equals(profileDirectory))
        {
          File dirFile = new File(dirString);
          File dirFile = getFileForPath(dirString);
          if (! (dirFile.exists() && dirFile.isDirectory()))
          {
            msgID = MSGID_PLUGIN_PROFILER_INVALID_PROFILE_DIR;
@@ -707,7 +708,7 @@
          }
          else
          {
            profileDirectory = dirString;
            profileDirectory = dirFile.getAbsolutePath();
            if (detailedResults)
            {