Author: nextgens
Date: 2008-08-14 17:27:08 +0000 (Thu, 14 Aug 2008)
New Revision: 21853
Modified:
trunk/freenet/src/freenet/pluginmanager/PluginManager.java
Log:
Plugins might require newer jvms than that
Modified: trunk/freenet/src/freenet/pluginmanager/PluginManager.java
===================================================================
--- trunk/freenet/src/freenet/pluginmanager/PluginManager.java 2008-08-14
17:26:47 UTC (rev 21852)
+++ trunk/freenet/src/freenet/pluginmanager/PluginManager.java 2008-08-14
17:27:08 UTC (rev 21853)
@@ -243,12 +243,9 @@
Logger.error(this, "Could not load
plugin " + filename + " : " + e, e);
System.err.println("Could not load
plugin " + filename + " : " + e);
e.printStackTrace();
- String jvmVersion =
System.getProperty("java.version");
- if (jvmVersion.startsWith("1.4.") ||
jvmVersion.equals("1.4")) {
- System.err.println("Plugin " +
filename + " appears to require a later JVM");
- Logger.error(this, "Plugin " +
filename + " appears to require a later JVM");
- core.alerts.register(new
SimpleUserAlert(true, l10n("pluginReqNewerJVMTitle", "name", filename),
l10n("pluginReqNewerJVM", "name", filename), l10n("pluginLoadingFailedShort",
"name", filename), UserAlert.ERROR, PluginManager.class));
- }
+ System.err.println("Plugin " + filename
+ " appears to require a later JVM");
+ Logger.error(this, "Plugin " + filename
+ " appears to require a later JVM");
+ core.alerts.register(new
SimpleUserAlert(true, l10n("pluginReqNewerJVMTitle", "name", filename),
l10n("pluginReqNewerJVM", "name", filename), l10n("pluginLoadingFailedShort",
"name", filename), UserAlert.ERROR, PluginManager.class));
} finally {
synchronized (startingPlugins) {
startingPlugins.remove(pluginProgress);