error with plugin mirror list
"M. Lepore" <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users