JEdit 5.0.0 (also affected 4.5.2)
Windows 7 Enterprise 64bit SP1, 4.00GB RAM, Intel Xeon W3530@2.80GHz
java version "1.6.0_38"
Java(TM) SE Runtime Environment (build 1.6.0_38-b05)
Java HotSpot(TM) 64-Bit Server VM (build 20.13-b02, mixed mode)
Plugin Manager responds with a dialog displaying an error message when attempting
to update the plugin server mirror list, display a list of updates, or download a
plugin, e.g.
"An I/O error occurred (java.io.IOException: Server returned HTTP response code: 403
for URL: http://plugins.jedit.org/export/mirror_list.php"
The server makes the expected response when the URL is opened with a web browser,
e.g. for the URL in the example error message, the browser displays an XML listing
of the server mirrors, or for the URL to a plugin, the ZIP file is downloaded.
The error appeared initially for jEdit 4.5.2, and is the same after upgrading to jEdit
5.0.
See attached activity log for example of error when updating mirror list.
| Submitted | phipster - 2013-01-10 - 19:30:57z | Assigned | nobody |
|---|---|---|---|
| Priority | 5 | Category | plugin manager |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |
| 2013-01-10 - 19:31:00z phipster |
activity.log Activity Log for error message example |
|---|