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.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
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.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
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
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.
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.