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

neil_a_wilson
08.34.2007 3dca514255b97388b4deeffa0900fdd1107c35de
opends/src/server/org/opends/server/plugins/profiler/ProfilerPlugin.java
@@ -339,7 +339,7 @@
        profilerThread.stopProfiling();
        String filename = profileDirectory + File.separator + "profile." +
                          TimeThread.getUTCTime();
                          TimeThread.getGMTTime();
        try
        {
          profilerThread.writeCaptureData(filename);
@@ -751,7 +751,7 @@
                }
                String filename = profileDirectory + File.separator +
                                  "profile." + TimeThread.getUTCTime();
                                  "profile." + TimeThread.getGMTTime();
                try
                {