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.
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
I installed 5.1.0
the problem is still occurring
"plugin central default" seems to be broken again?
From plugin manager, click "Download Options".
Update mirror list.
Choose another mirror.
works for me from the montreal iWeb mirror at the moment....
I also had some problems, it is not always, but happens sometimes, and even the mirror list is unavailable.
The download URLs come from a response of this URL with a given mirror
argument. (You can try this with your browser.)
http://plugins.jedit.org/export/gzip_plugin_manager.php?mirror=MIRROR
If I put "jaist" as the mirror, it gives, for example, a download URL like
this:
http://jaist.dl.sourceforge.net/project/jedit-plugins/Accents/1.0.1/Accents-1.0.1-bin.zip
This URL works as following:
> $ wget http://jaist.dl.sourceforge.net/project/jedit-plugins/Accents/1.0.1/Accents-1.0.1-bin.zip
> --2013-11-14 01:58:32-- http://jaist.dl.sourceforge.net/project/jedit-plugins/Accents/1.0.1/Accents-1.0.1-bin.zip
> Resolving jaist.dl.sourceforge.net... 150.65.7.130, 2001:df0:2ed:feed::feed
> Connecting to jaist.dl.sourceforge.net|150.65.7.130|:80... connected.
> HTTP request sent, awaiting response... 302 Found
> Location: http://downloads.sourceforge.net/project/jedit-plugins/Accents/1.0.1/Accents-1.0.1-bin.zip?download&failedmirror=jaist.dl.sourceforge.net [following]
> --2013-11-14 01:58:32-- http://downloads.sourceforge.net/project/jedit-plugins/Accents/1.0.1/Accents-1.0.1-bin.zip?download&failedmirror=jaist.dl.sourceforge.net
> Resolving downloads.sourceforge.net... 216.34.181.59
> Connecting to downloads.sourceforge.net|216.34.181.59|:80... connected.
> HTTP request sent, awaiting response... 302 Found
> Location: http://heanet.dl.sourceforge.net/project/jedit-plugins/Accents/1.0.1/Accents-1.0.1-bin.zip [following]
> --2013-11-14 01:58:33-- http://heanet.dl.sourceforge.net/project/jedit-plugins/Accents/1.0.1/Accents-1.0.1-bin.zip
> Resolving heanet.dl.sourceforge.net... 193.1.193.66, 2001:770:18:aa40::c101:c142
> Connecting to heanet.dl.sourceforge.net|193.1.193.66|:80... connected.
> HTTP request sent, awaiting response... 200 OK
> Length: 17783 (17K) [application/octet-stream]
> Saving to: `Accents-1.0.1-bin.zip'
>
> 100%[==========================================================>] 17,783 5.79K/s in 3.0s
>
> 2013-11-14 01:58:36 (5.79 KB/s) - `Accents-1.0.1-bin.zip' saved [17783/17783]
If I put "INVALIDMIRROR" as the mirror, or omit the mirror argument,
gzip_plugin_manager.php gives a download URL like this:
http://dl.sourceforge.net/project/jedit-plugins/AntelopePlugin/3.5.0/AntelopePlugin-3.5.0-bin.zip
This URL doesn't work, as described on the first report.
> $ wget http://dl.sourceforge.net/project/jedit-plugins/AntelopePlugin/3.5.0/AntelopePlugin-3.5.0-bin.zip
> --2013-11-14 01:59:39-- http://dl.sourceforge.net/project/jedit-plugins/AntelopePlugin/3.5.0/AntelopePlugin-3.5.0-bin.zip
> Resolving dl.sourceforge.net... 216.34.181.138
> Connecting to dl.sourceforge.net|216.34.181.138|:80... connected.
> HTTP request sent, awaiting response... 302 Found
> Location: http://sourceforge.net/downloads/project/jedit-plugins/AntelopePlugin/3.5.0/AntelopePlugin-3.5.0-bin.zip [following]
> --2013-11-14 01:59:39-- http://sourceforge.net/downloads/project/jedit-plugins/AntelopePlugin/3.5.0/AntelopePlugin-3.5.0-bin.zip
> Resolving sourceforge.net... 216.34.181.60
> Connecting to sourceforge.net|216.34.181.60|:80... connected.
> HTTP request sent, awaiting response... 301 Moved Permanently
> Location: http://sourceforge.net/projects/project/files/jedit-plugins/AntelopePlugin/3.5.0/AntelopePlugin-3.5.0-bin [following]
> --2013-11-14 01:59:39-- http://sourceforge.net/projects/project/files/jedit-plugins/AntelopePlugin/3.5.0/AntelopePlugin-3.5.0-bin
> Connecting to sourceforge.net|216.34.181.60|:80... connected.
> HTTP request sent, awaiting response... 404 Not Found
> 2013-11-14 01:59:40 ERROR 404: Not Found.
There seems to be two problems:
1. (SF.net problem)
The "Location" header given from
"http://sourceforge.net/download/..." is invalid.
2. (plugins.jedit.org problem)
gzip_plugin_manager.php gives not-working URLs for some cases.
Problem 1 should be forwarded to SF.net. Problem 2 seems to be fixable
by jEdit side. But I couldn't find the source of
gzip_plugin_manager.php.
Here is the location where the file in question is editable:
sftp://sf-username@web.sourceforge.net:22/home/project-web/jedit-plugins/htdocs/export/gzip_plugin_manager.php
Out of curiosity is it a requirement to specify the mirror at all?
When you go through the sf.net site you get a url like:
https://sourceforge.net/projects/jedit-plugins/files/EditorConfig/0.5.1/EditorConfig-0.5.1.zip/download
That that picks the best mirror for you.
Seems to me that would be more ideal so we don't need to maintain the mirrors list ourselves.
But it is not a direct download link, how would you use it in jEdit's plugin manager ?
If we use one of those links, PluginManager must somehow interpret the redirect link and do another GET.
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.
It seems vampire must manually update that list from time to time. Can we automate that process?