equal
deleted
inserted
replaced
1854 private static File getStandardProfileFile(String fileName) { |
1854 private static File getStandardProfileFile(String fileName) { |
1855 String dir = System.getProperty("java.home") + |
1855 String dir = System.getProperty("java.home") + |
1856 File.separatorChar + "lib" + File.separatorChar + "cmm"; |
1856 File.separatorChar + "lib" + File.separatorChar + "cmm"; |
1857 String fullPath = dir + File.separatorChar + fileName; |
1857 String fullPath = dir + File.separatorChar + fileName; |
1858 File f = new File(fullPath); |
1858 File f = new File(fullPath); |
1859 if (!f.isFile()) { |
|
1860 //make sure file was installed in the kernel mode |
|
1861 BootClassLoaderHook hook = BootClassLoaderHook.getHook(); |
|
1862 if (hook != null) { |
|
1863 hook.prefetchFile("lib/cmm/"+fileName); |
|
1864 } |
|
1865 } |
|
1866 return (f.isFile() && isChildOf(f, dir)) ? f : null; |
1859 return (f.isFile() && isChildOf(f, dir)) ? f : null; |
1867 } |
1860 } |
1868 |
1861 |
1869 /** |
1862 /** |
1870 * Checks whether given file resides inside give directory. |
1863 * Checks whether given file resides inside give directory. |