Re: error with plugin mirror list
"M. Lepore" <[email protected]> Wed, 13 Sep 2023 09:20:18 -0400
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format. --===============0475559756518097923== Content-Type: multipart/alternative; boundary="------------vQse5ldAQdhmnWm1BF0SxMEo" Content-Language: en-US This is a multi-part message in MIME format. --------------vQse5ldAQdhmnWm1BF0SxMEo Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit 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 [email protected] 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 > <[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 <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 > [email protected] > > -- > ----------------------------------------------- > jEdit Users' List > [email protected] > https://lists.sourceforge.net/lists/listinfo/jedit-users > --------------vQse5ldAQdhmnWm1BF0SxMEo Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body> <p>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.<br> </p> <pre class="moz-signature" cols="72">thanks, M. Lepore <a class="moz-txt-link-abbreviated" href="mailto:[email protected]">[email protected]</a></pre> <div class="moz-cite-prefix">On 9/12/2023 9:00 PM, Vampire wrote:<br> </div> <blockquote type="cite" cite="mid:CAKChYSrtCduvbqGhsWjq8B1AihDn=jdby7jfgjQUAaxoq978iA@mail.gmail.com"> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <div dir="ltr">Hi M., <div><br> </div> <div>it even worked one day before you tried.</div> <div>And it works again since a few days later when I fixed the problem. :-)</div> <div><br> </div> <div>Cheers</div> <div>Björn</div> </div> <br> <div class="gmail_quote"> <div dir="ltr" class="gmail_attr">Am Mi., 23. Aug. 2023 um 20:06 Uhr schrieb M. Lepore <<a href="mailto:[email protected]" moz-do-not-send="true" class="moz-txt-link-freetext">[email protected]</a>>:<br> </div> <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> <div> <p>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:<a href="http://plugins.jedit.org/export/mirror_list.php" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">http://plugins.jedit.org/export/mirror_list.php</a>)". 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 <a href="http://jedit.org" target="_blank" moz-do-not-send="true">jedit.org</a> website? Is <a href="http://jedit.org" target="_blank" moz-do-not-send="true">jedit.org</a> being maintained anymore? Are there plans to update it at least for https?<br> </p> <p><br> </p> <p><img src="cid:[email protected]" alt="" moz-do-not-send="true"></p> <pre cols="72">-- thanks, M. Lepore <a href="mailto:[email protected]" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">[email protected]</a></pre> </div> -- <br> -----------------------------------------------<br> jEdit Users' List<br> <a href="mailto:[email protected]" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">[email protected]</a><br> <a href="https://lists.sourceforge.net/lists/listinfo/jedit-users" rel="noreferrer" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">https://lists.sourceforge.net/lists/listinfo/jedit-users</a><br> </blockquote> </div> </blockquote> </body> </html> --------------vQse5ldAQdhmnWm1BF0SxMEo-- --===============0475559756518097923== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============0475559756518097923== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users --===============0475559756518097923==--