stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8271447: java.nio.file.InvalidPathException: Malformed input or input contains unmappable characters

Browse Source 
Reviewed-by: mgronlun
This commit is contained in:
Erik Gahlin 2021-12-22 13:59:20 +00:00
parent 713fbeb050
commit e49d4a9870
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/jdk.jfr/share/classes/jdk/jfr/internal/management/ChunkFilename.java
View File

@ -74,7 +74,7 @@ public final class ChunkFilename {
// If more than one file per second
while (counter < MAX_CHUNK_NAMES) {
String extendedName = String.format("%s_%02d%s", filename, counter, FILE_EXTENSION);
String extendedName = makeExtendedName(filename, counter);
p = directory.resolve(extendedName);
counter++;
if (!fileAcess.exists(p)) {
@ -83,4 +83,16 @@ public final class ChunkFilename {
}
throw new IOException("Unable to find unused filename after " + counter + " attempts");
}
private String makeExtendedName(String filename, int counter) {
StringBuilder sb = new StringBuilder();
sb.append(filename);
sb.append('_');
if (counter < 10) { // chronological sorted
sb.append('0');
}
sb.append(counter);
sb.append(FILE_EXTENSION);
return sb.toString();
}
}