Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#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

<< < 1 2 (Page 2 of 2)
  • 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
     
<< < 1 2 (Page 2 of 2)