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


Reply via email to