equal
deleted
inserted
replaced
1842 f = new File(fullPath); |
1842 f = new File(fullPath); |
1843 } |
1843 } |
1844 } |
1844 } |
1845 |
1845 |
1846 if (!f.isFile()) { /* try the directory of built-in profiles */ |
1846 if (!f.isFile()) { /* try the directory of built-in profiles */ |
1847 dir = System.getProperty("java.home") + |
1847 dir = System.getProperty("java.home") + |
1848 File.separatorChar + "lib" + File.separatorChar + "cmm"; |
1848 File.separatorChar + "lib" + File.separatorChar + "cmm"; |
1849 fullPath = dir + File.separatorChar + fileName; |
1849 fullPath = dir + File.separatorChar + fileName; |
1850 f = new File(fullPath); |
1850 f = new File(fullPath); |
|
1851 if (!f.isFile()) { |
|
1852 //make sure file was installed in the kernel mode |
|
1853 try { |
|
1854 //kernel uses platform independent paths => |
|
1855 // should not use platform separator char |
|
1856 sun.jkernel.DownloadManager.downloadFile("lib/cmm/"+fileName); |
|
1857 } catch (IOException ioe) {} |
|
1858 } |
1851 } |
1859 } |
1852 |
1860 |
1853 if (f.isFile()) { |
1861 if (f.isFile()) { |
1854 return f; |
1862 return f; |
1855 } |
1863 } |