src/share/classes/com/sun/tools/javac/file/JavacFileManager.java

changeset 882
3d45cc94ee0f
parent 839
a8437c34fdc7
child 893
8f0dcb9499db
equal deleted inserted replaced
881:4ce95dc0b908 882:3d45cc94ee0f
162 paths.setContext(context); 162 paths.setContext(context);
163 } 163 }
164 164
165 fsInfo = FSInfo.instance(context); 165 fsInfo = FSInfo.instance(context);
166 166
167 // retain check for system property for compatibility 167 useZipFileIndex = options.isSet("useOptimizedZip");
168 useZipFileIndex = options.isUnset("useJavaUtilZip")
169 && System.getProperty("useJavaUtilZip") == null;
170 if (useZipFileIndex) 168 if (useZipFileIndex)
171 zipFileIndexCache = ZipFileIndexCache.getSharedInstance(); 169 zipFileIndexCache = ZipFileIndexCache.getSharedInstance();
172 170
173 mmappedIO = options.isSet("mmappedIO"); 171 mmappedIO = options.isSet("mmappedIO");
174 ignoreSymbolFile = options.isSet("ignore.symbol.file"); 172 ignoreSymbolFile = options.isSet("ignore.symbol.file");
497 boolean usePreindexedCache = false; 495 boolean usePreindexedCache = false;
498 String preindexCacheLocation = null; 496 String preindexCacheLocation = null;
499 497
500 if (!useZipFileIndex) { 498 if (!useZipFileIndex) {
501 zdir = new ZipFile(zipFileName); 499 zdir = new ZipFile(zipFileName);
502 } 500 } else {
503 else {
504 usePreindexedCache = options.isSet("usezipindex"); 501 usePreindexedCache = options.isSet("usezipindex");
505 preindexCacheLocation = options.get("java.io.tmpdir"); 502 preindexCacheLocation = options.get("java.io.tmpdir");
506 String optCacheLoc = options.get("cachezipindexdir"); 503 String optCacheLoc = options.get("cachezipindexdir");
507 504
508 if (optCacheLoc != null && optCacheLoc.length() != 0) { 505 if (optCacheLoc != null && optCacheLoc.length() != 0) {

mercurial