Author: toad
Date: 2007-09-08 17:07:47 +0000 (Sat, 08 Sep 2007)
New Revision: 15057
Modified:
trunk/freenet/src/freenet/pluginmanager/PluginManager.java
Log:
logging
Modified: trunk/freenet/src/freenet/pluginmanager/PluginManager.java
===================================================================
--- trunk/freenet/src/freenet/pluginmanager/PluginManager.java 2007-09-08
17:03:03 UTC (rev 15056)
+++ trunk/freenet/src/freenet/pluginmanager/PluginManager.java 2007-09-08
17:07:47 UTC (rev 15057)
@@ -342,7 +342,7 @@
File finalFile = new File("plugins/" +
pluginname + ".jar");
if(!FileUtil.writeTo(is, finalFile)) {
Logger.error(this, "Failed to rename
the temporary file into "+finalFile);
- throw new
PluginNotFoundException("Cannot write plugin to "+finalFile+" - check for
permissions problem and disk full!");
+ throw new
PluginNotFoundException("Cannot write plugin to "+finalFile+" from "+url+" -
check for permissions problem and disk full!");
}
filename = "*@file://" +
FileUtil.getCanonicalFile(finalFile);