()
| 115 | } |
| 116 | |
| 117 | private static FileSystem getFileSystem() { |
| 118 | // Note: the digest function is irrelevant, as the garbage collector scans the entire disk cache |
| 119 | // and never computes digests. |
| 120 | if (OS.getCurrent() == OS.WINDOWS) { |
| 121 | return new WindowsFileSystem(DigestHashFunction.SHA256, false); |
| 122 | } |
| 123 | return new UnixFileSystem(DigestHashFunction.SHA256, ""); |
| 124 | } |
| 125 | } |