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;
}
