From: SourceForge.net <no...@so...> - 2013-11-12 16:30:50
|
Bugs item #3614995, was opened at 2013-09-12 09:20 Message generated for change (Comment added) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3614995&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: plugin manager Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Louis Reinitz (lreinitz) Assigned to: Nobody/Anonymous (nobody) Summary: plugin Download failure Initial Comment: I attempted to download the javadoc-1.2-bin plugin I got the "download failure"? ... please try a different mirror version 4.5.2 server mode the console logs the following 8:40:17 AM [Plugin manager thread] [error] Roster$Install: java.io.FileNotFoundException: http://sourceforge.net/projects/project/files/jedit-plugins/Javadoc/1.2/Javadoc-1.2-bin 8:40:17 AM [Plugin manager thread] [error] Roster$Install: at sun.net.www.protocol.http.HttpURLConnection.getInputStream(HttpURLConnection.java:1457) 8:40:17 AM [Plugin manager thread] [error] Roster$Install: at org.gjt.sp.jedit.pluginmgr.Roster$Install.download(Roster.java:418) 8:40:17 AM [Plugin manager thread] [error] Roster$Install: at org.gjt.sp.jedit.pluginmgr.Roster$Install.runInWorkThread(Roster.java:297) 8:40:17 AM [Plugin manager thread] [error] Roster$Install: at org.gjt.sp.jedit.pluginmgr.Roster.performOperationsInWorkThread(Roster.java:92) 8:40:17 AM [Plugin manager thread] [error] Roster$Install: at org.gjt.sp.jedit.pluginmgr.PluginManagerProgress$RosterThread.run(PluginManagerProgress.java:214) when I looked at the plugin site i found these files for manual download. https://sourceforge.net/projects/jedit-plugins/files/Javadoc/1.2/Javadoc-1.2-bin.{tgz,zip} exist (from above) the FileNotFoundError http://sourceforge.net/projects/project/files/jedit-plugins/Javadoc/1.2/Javadoc-1.2-bin the paths are different I'm not sure it has anything to do with the problem at all. ---------------------------------------------------------------------- >Comment By: Alan Ezust (ezust) Date: 2013-11-12 08:30 Message: "plugin central default" seems to be broken again? From plugin manager, click "Download Options". Update mirror list. Choose another mirror. ---------------------------------------------------------------------- Comment By: Louis Reinitz (lreinitz) Date: 2013-09-12 09:30 Message: I installed 5.1.0 the problem is still occurring ---------------------------------------------------------------------- Comment By: Louis Reinitz (lreinitz) Date: 2013-09-12 09:25 Message: I noticed I'm behind the times I downloaded the 5.1.0 i'm going to go from there and see if this is still a problem ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3614995&group_id=588 |