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.
Submitted | lreinitz - 2013-09-12 16:20:11 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | plugin manager |
Status | pending | Group | minor bug |
Resolution | works-for-me |
2013-09-12 16:20:44 lreinitz |
- **labels**: --> plugin manager |
---|---|
2013-09-12 16:25:02 lreinitz |
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 |
2013-09-12 16:30:09 lreinitz |
I installed 5.1.0
|
2013-11-12 16:30:50 ezust |
"plugin central default" seems to be broken again?
|
2013-11-12 16:39:16 ezust |
works for me from the montreal iWeb mirror at the moment....
|
2013-11-12 16:39:36 ezust |
- **summary**: plugin Download failure --> Plugin Central Default broken again -plugin Download failure |
2013-11-13 01:10:08 ezust |
- **assigned_to**: nobody --> k_satoda |
2013-11-13 10:40:19 kpouer |
I also had some problems, it is not always, but happens sometimes, and even the mirror list is unavailable. |
2013-11-13 17:20:00 k_satoda |
- **assigned_to**: k_satoda --> nobody |
2013-11-13 17:20:00 k_satoda |
The download URLs come from a response of this URL with a given mirror
|
2013-11-13 17:57:08 ezust |
Here is the location where the file in question is editable:
|
2013-11-13 19:34:25 elberry |
Out of curiosity is it a requirement to specify the mirror at all?
|
2013-11-14 09:09:10 kpouer |
But it is not a direct download link, how would you use it in jEdit's plugin manager ? |
2013-11-14 22:16:10 ezust |
If we use one of those links, PluginManager must somehow interpret the redirect link and do another GET. |
2014-04-14 16:43:44.840000 ezust |
I used to always have trouble with "plugin central default" but i just tried it today
and it works fine. The mirror list was out of date until last week.
|
2014-04-14 16:44:01.616000 ezust |
- **status**: open --> pending-works-for-me |