Author: toad
Date: 2007-08-21 00:11:48 +0000 (Tue, 21 Aug 2007)
New Revision: 14818
Modified:
trunk/freenet/src/freenet/pluginmanager/PluginManager.java
Log:
Report the error!
Modified: trunk/freenet/src/freenet/pluginmanager/PluginManager.java
===================================================================
--- trunk/freenet/src/freenet/pluginmanager/PluginManager.java 2007-08-21
00:08:05 UTC (rev 14817)
+++ trunk/freenet/src/freenet/pluginmanager/PluginManager.java 2007-08-21
00:11:48 UTC (rev 14818)
@@ -348,8 +348,10 @@
}
File finalFile = new File("plugins/" +
pluginname + ".jar");
- if(!FileUtil.writeTo(is, finalFile))
+ 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!");
+ }
filename = "*@file://" +
FileUtil.getCanonicalFile(finalFile);
if(logMINOR) Logger.minor(this, "Rewritten to
"+filename);