[ jEdit-devel ] [jedit:plugin-bugs] #1848 plugin mgr: LOTS of broken mirrors - difficulty downloading plugins.

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[ jEdit-devel ] [jedit:plugin-bugs] #1848 plugin mgr: LOTS of broken mirrors - difficulty downloading plugins.

Alan Ezust-2
  • status: open --> closed-fixed
  • Comment:

Fixed in jEdit 5.4


[plugin-bugs:#1848] plugin mgr: LOTS of broken mirrors - difficulty downloading plugins.

Status: closed-fixed
Group:
Created: Sat Mar 26, 2016 11:16 PM UTC by Jim Michaels
Last Updated: Fri Apr 08, 2016 01:17 AM UTC
Owner: Alan Ezust

plugin mgr: cannot set a mirror, sf.net plugin install always fails (probably because of the 5s delay & redirect+special download code there that started a couple of years ago). hope this hint helps. you might want to contact
java 7.3 je 5.3 vista x32.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel