[ jEdit-users ] error with plugin mirror list

[M. L. <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. Lepore
m.l...@gm...