#3827 Plugin Central Default broken again -plugin Download failure

minor bug
pending-works-for-me
nobody
5
2014-12-10
2013-09-12
Louis Reinitz
No

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.

Discussion

  • Louis Reinitz
    Louis Reinitz
    2013-09-12

    • labels: --> plugin manager
     
  • Louis Reinitz
    Louis Reinitz
    2013-09-12

    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

     
  • Louis Reinitz
    Louis Reinitz
    2013-09-12

    I installed 5.1.0
    the problem is still occurring

     
  • Alan Ezust
    Alan Ezust
    2013-11-12

    "plugin central default" seems to be broken again?
    From plugin manager, click "Download Options".
    Update mirror list.
    Choose another mirror.

     
  • Alan Ezust
    Alan Ezust
    2013-11-12

    works for me from the montreal iWeb mirror at the moment....

     
  • Alan Ezust
    Alan Ezust
    2013-11-12

    • summary: plugin Download failure --> Plugin Central Default broken again -plugin Download failure
     
  • Alan Ezust
    Alan Ezust
    2013-11-13

    • assigned_to: nobody --> k_satoda
     
  • I also had some problems, it is not always, but happens sometimes, and even the mirror list is unavailable.

     
    • assigned_to: k_satoda --> nobody
     
  • Alan Ezust
    Alan Ezust
    2013-11-13

    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

     
  • But it is not a direct download link, how would you use it in jEdit's plugin manager ?

     
  • Alan Ezust
    Alan Ezust
    2013-11-14

    If we use one of those links, PluginManager must somehow interpret the redirect link and do another GET.

     
  • Alan Ezust
    Alan Ezust
    2014-04-14

    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?

     
  • Alan Ezust
    Alan Ezust
    2014-04-14

    • status: open --> pending-works-for-me
    • Group: --> minor bug