(String path)
| 172 | // the path to the directory containing the plugin, |
| 173 | // and paths to any .jar files in the plugins folder. |
| 174 | String getClassPath(String path) { |
| 175 | long start = System.currentTimeMillis(); |
| 176 | StringBuffer sb = new StringBuffer(); |
| 177 | sb.append(System.getProperty("java.class.path")); |
| 178 | File f = new File(path); |
| 179 | if (f!=null) // add directory containing file to classpath |
| 180 | sb.append(File.pathSeparator + f.getParent()); |
| 181 | String pluginsDir = Menus.getPlugInsPath(); |
| 182 | if (pluginsDir!=null) |
| 183 | addJars(pluginsDir, sb); |
| 184 | return sb.toString(); |
| 185 | } |
| 186 | |
| 187 | // Adds .jar files in plugins folder, and subfolders, to the classpath |
| 188 | void addJars(String path, StringBuffer sb) { |
no test coverage detected