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

[M. L. <m.l...@gm...>]

Thanks Vampire.  Yep, I noticed it started working again a few days 
after I posted.  I really appreciate you guys keeping this up and 
running.  I've used jEdit for many years and have come to rely on its 
features.  Keep up the good work.

thanks,
M. Lepore
m.l...@gm...

On 9/12/2023 9:00 PM, Vampire wrote:
> 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 <http://jedit.org> website?  Is
>     jedit.org <http://jedit.org> being maintained anymore?  Are there
>     plans to update it at least for https?
>
>
>     -- 
>     thanks,
>     M. Lepore
>     m.l...@gm...
>
>     -- 
>     -----------------------------------------------
>     jEdit Users' List
>     jEd...@li...
>     https://lists.sourceforge.net/lists/listinfo/jedit-users
>