Re: [ jEdit-users ] error with plugin mirror list

[Vampire <Va...@je...>]

Hi M.,

it even worked one day before you tried.
And it works again since a few days later when I fixed the problem. :-)

Cheers
Björn

Am Mi., 23. Aug. 2023 um 20:06 Uhr schrieb M. Lepore <
m.l...@gm...>:

> I'm noticing now (2023-08-22) that an I/O error is occurring when using
> the Plugin Manager and you try to update the mirror list.  I get "An I/O
> error occurred (java.io.IOException: Server returned HTTP response code:
> 500 for URL:http://plugins.jedit.org/export/mirror_list.php)".  This is
> something I think worked maybe a few months ago.  I'm guessing the
> mirror_list.php is missing from the web site.  Is anyone aware of what's
> going on with the jedit.org website?  Is jedit.org being maintained
> anymore?  Are there plans to update it at least for https?
>
>
> --
> thanks,
> M. Lep...@gm...
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>