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


Reply via email to