Websites, feeds, mirror list, plugin list, .... should be functional again

--===============1812378564833055725==
Content-Type: multipart/alternative; boundary="0000000000002d3b840605346332"

--0000000000002d3b840605346332
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi,

two week ago most of the websites, feeds, lists and so on were not working
anymore due to an update SourceForge made.

In the meantime I hopefully fixed all those problems on the main page,
plugins page, community page, feeds, lists, ....
So hopefully everything is up and working again properly.
If you find anything that is still behaving funky, please let me know.


The problem, that plugin installation sometimes does not work is not
related to this.
Not all plugins are available on all mirrors (some even just on one and we
cannot influence that).
If a plugin you want to install is not available on the mirror you
selected, you are redirected to a mirror that has the plugin.
This redirect URL by SourceForge has changed in the past and now triggers a
bug in jEdit that is already fixed in the trunk code.
So to install a plugin, you either have to try all mirrors in turn until
you find one that has the plugin, install it manually by downloading it
from plugins.jedit.org, or use a source build from latest trunk code.

Best regards
Bj=C3=B6rn

--0000000000002d3b840605346332
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_quote"><div dir=3D"ltr">Hi,<div><br></=
div><div>two week ago most of the websites, feeds, lists and so on were not=
 working anymore due to an update SourceForge made.</div><div><br></div><di=
v>In the meantime I hopefully=C2=A0fixed all those problems on the main pag=
e, plugins page, community page, feeds, lists, ....</div><div>So hopefully =
everything is up and working again properly.</div><div>If you find anything=
 that is still behaving funky, please=C2=A0let me know.</div><div><br></div=
><div><br></div><div>The problem, that plugin installation sometimes does n=
ot work is not related to this.</div><div>Not all plugins are available on =
all mirrors (some even just on one and we cannot influence that).</div><div=
>If a plugin you want to install is not available on the mirror you selecte=
d, you are redirected to a mirror that has the plugin.</div><div>This redir=
ect URL by SourceForge has changed in the past and now triggers a bug in jE=
dit that is already fixed in the trunk code.</div><div>So to install a plug=
in, you either have to try all mirrors in turn until you find one that has =
the plugin, install it manually by downloading it from <a href=3D"http://pl=
ugins.jedit.org" target=3D"_blank">plugins.jedit.org</a>, or use a source b=
uild from latest trunk code.</div><div><br></div><div>Best regards</div><di=
v>Bj=C3=B6rn</div></div>
</div></div>

--0000000000002d3b840605346332--


--===============1812378564833055725==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============1812378564833055725==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users

--===============1812378564833055725==--