public String getPluginID() { String id = (String) props.get("plugin.id"); // hack alert - azupdater needs to change its plugin id due to general hackage if (id != null && id.equals("azupdater")) { plugin_id_to_use = id; } if (plugin_id_to_use != null) { return plugin_id_to_use; } // Calculate what plugin ID value to use - look at the properties file // first, and if that isn't correct, base it on the given plugin ID // value we were given. if (id == null) { id = given_plugin_id; } if (id == null) { id = "<none>"; } plugin_id_to_use = id; return plugin_id_to_use; }
public String getPluginName() { String name = null; if (props != null) { name = (String) props.get("plugin.name"); } if (name == null) { try { name = new File(pluginDir).getName(); } catch (Throwable e) { } } if (name == null || name.length() == 0) { name = plugin.getClass().getName(); } return (name); }
public String getPluginVersion() { String version = (String) props.get("plugin.version"); if (version == null) { version = plugin_version; } return (version); }
protected propertyWrapper(Properties _props) { Iterator it = _props.keySet().iterator(); while (it.hasNext()) { Object key = it.next(); put(key, _props.get(key)); } initialising = false; }