Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#3855 Plugin Manager: No working mirrors in north america

severe bug
closed-fixed
None
5
2014-04-08
2014-04-06
Alan Ezust
No

I am unable to get plugins from any of the mirrors in north america. at all.
The mirrors list needs to be updated.

Discussion

  • i'm getting it for all mirrors...trying to install ftp plugin. i'm getting some really wonky bugs.

     
  • let me rephrase that, i can't switch from default mirror. jedit won't save.

     
  • Björn Kautler
    Björn Kautler
    2014-04-08

    • assigned_to: Björn Kautler
     
  • Björn
    its not my ticket, this is probably against sop, so if so, apologies. i'm on windows 7 if that helps. i thought i couldn't get reach any of the mirrors...and that could be true, but when i go to change default, hit apply. close. open -> default never changes. not sure if that helps or not. thanks though man. appreciate any help you can give.

     
  • Björn Kautler
    Björn Kautler
    2014-04-08

    I've updated the mirror list to the current set of mirrors.
    But actually a non-working mirror, or a mirror that does not have the file in question should fall back to a round-robin fetch.

    It also did this for me. I still had SWITCH configured which was not available as mirror anymore, but my plugin download worked fine, as the plugin manager follows HTTP redirects.
    Anyway, the mirror list is up-to-date now.

    Albert, i think, the default mirror was misconfigured, it per-se should work now too. That you cannot change the default mirror (I don't see that here) seems to be another bug. You might also have a look at the jEdit Activity Log for suspicious messages, or post your Activity Log together with your bug report.

     
  • Björn Kautler
    Björn Kautler
    2014-04-08

    • status: open --> closed-fixed