You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Aug 27, 2022. It is now read-only.
if (Logger.shouldLog(LogTag.JFR, LogLevel.DEBUG)) {
110
+
Logger.log(LogTag.JFR, LogLevel.DEBUG, "Repository chunk " + f + " deleted");
111
+
}
108
112
} catch (IOExceptione) {
109
113
// Probably happens because file is being streamed
110
114
// on Windows where files in use can't be removed.
111
-
Logger.log(LogTag.JFR, LogLevel.DEBUG, () -> "Repository chunk " + f + " could not be deleted: " + e.getMessage());
115
+
if (Logger.shouldLog(LogTag.JFR, LogLevel.DEBUG)) {
116
+
Logger.log(LogTag.JFR, LogLevel.DEBUG, "Repository chunk " + f + " could not be deleted: " + e.getMessage());
117
+
}
112
118
if (f != null) {
113
119
FilePurger.add(f);
114
120
}
@@ -123,18 +129,24 @@ private void destroy() {
123
129
try {
124
130
unFinishedRAF.close();
125
131
} catch (IOExceptione) {
126
-
Logger.log(LogTag.JFR, LogLevel.ERROR, () -> "Could not close random access file: " + chunkFile.toString() + ". File will not be deleted due to: " + e.getMessage());
132
+
if (Logger.shouldLog(LogTag.JFR, LogLevel.ERROR)) {
133
+
Logger.log(LogTag.JFR, LogLevel.ERROR, "Could not close random access file: " + chunkFile.toString() + ". File will not be deleted due to: " + e.getMessage());
0 commit comments