Separate pid and timestamp with underscore

Co-authored-by: Paul Woegerer <olpaw@users.noreply.github.com>
graalvm · Nov 5, 2024 · 3ae135b · 3ae135b
1 parent 2ab0647
commit 3ae135b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/common/utils/src/main/java/org/graalvm/buildtools/agent/AgentConfiguration.java b/common/utils/src/main/java/org/graalvm/buildtools/agent/AgentConfiguration.java
@@ -165,7 +165,7 @@ private void addDefaultAccessFilter() {
 
             long pid = ProcessHandle.current().pid();
             long time = System.currentTimeMillis();
-            Path tmpAccessFilter = agentDir.resolve(ACCESS_FILTER_PREFIX + pid + time + ACCESS_FILTER_SUFFIX);
+            Path tmpAccessFilter = agentDir.resolve(ACCESS_FILTER_PREFIX + '_' + pid  + '_' + time  + '_' + ACCESS_FILTER_SUFFIX);
             Files.copy(accessFilterData, tmpAccessFilter);
 
             try {