src/jdk.jfr/share/classes/jdk/jfr/internal/Repository.java
changeset 50745 a390cbb82d47
parent 50113 caf115bb98ad
child 57360 5d043a159d5c
child 58240 046533575954
equal deleted inserted replaced
50744:6c306d54366d 50745:a390cbb82d47
    39 
    39 
    40     private static final int MAX_REPO_CREATION_RETRIES = 1000;
    40     private static final int MAX_REPO_CREATION_RETRIES = 1000;
    41     private static final JVM jvm = JVM.getJVM();
    41     private static final JVM jvm = JVM.getJVM();
    42     private static final Repository instance = new Repository();
    42     private static final Repository instance = new Repository();
    43 
    43 
    44     static DateTimeFormatter REPO_DATE_FORMAT = DateTimeFormatter
    44     public final static DateTimeFormatter REPO_DATE_FORMAT = DateTimeFormatter
    45             .ofPattern("yyyy_MM_dd_HH_mm_ss");
    45             .ofPattern("yyyy_MM_dd_HH_mm_ss");
    46 
    46 
    47     private final Set<SafePath> cleanupDirectories = new HashSet<>();
    47     private final Set<SafePath> cleanupDirectories = new HashSet<>();
    48     private SafePath baseLocation;
    48     private SafePath baseLocation;
    49     private SafePath repository;
    49     private SafePath repository;