equal
deleted
inserted
replaced
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; |