[jedit:bugs] Re: #4145 5.7 proxy error for plugin manager

This is a multi-part message in MIME format.
--===============7360181252064925902==
Content-Type: multipart/related; boundary="===============8170132113478709969=="

This is a multi-part message in MIME format.
--===============8170132113478709969==
Content-Type: multipart/alternative; boundary="===============7814749369254410936=="
MIME-Version: 1.0

--===============7814749369254410936==
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit

first lines of activity log are
Log file created on Thu Jun 26 10:26:11 CEST 2025
IMPORTANT:
Because updating this file after every log message would kill
performance, it will be *incomplete* unless you invoke the
Utilities->Troubleshooting->Update Activity Log on Disk command!
10:26:11 AM [main] [message] Log: When reporting bugs, please include the
following information:
10:26:11 AM [main] [message] Log: java.version=17.0.13
10:26:11 AM [main] [message] Log: java.vm.version=17.0.13+4-LTS-259
10:26:11 AM [main] [message] Log: java.vm.name=Java HotSpot(TM) 64-Bit
Server VM
10:26:11 AM [main] [message] Log: java.runtime.version=17.0.13+4-LTS-259
10:26:11 AM [main] [message] Log: java.runtime.name=Java(TM) SE Runtime
Environment
10:26:11 AM [main] [message] Log: java.vendor=Oracle Corporation
10:26:11 AM [main] [message] Log: java.compiler=null
10:26:11 AM [main] [message] Log: os.name=Windows 11
10:26:11 AM [main] [message] Log: os.version=10.0
10:26:11 AM [main] [message] Log: os.arch=amd64
Donat Callens


On Thu, 26 Jun 2025 at 11:31, Donat Callens <[email protected]> wrote:

> The only relevant line is this one:
>
>    - 11:30:36 AM [jEdit Worker #3] [error] PluginList:
>    CacheRemotePluginList: proxy requires authentication
>
> Donat Callens
>
>
> On Mon, 16 Jun 2025 at 15:14, Donat Callens <
> [email protected]> wrote:
>
>> The proxy needs a username and password. It did work on the same profile
>> before updating recently to version 5.7. After that it did not work
>> anymore. I tried with a new empty profile and proxy settings, but that did
>> not work either.
>>
>> Donat Callens
>>
>> On Mon, 16 Jun 2025, 15:11 Alan Ezust, [email protected] wrote:
>>
>> We need more info to reproduce. Is a username/password required for this
>> proxy?
>> Did you supply one or both or neither?
>> ------------------------------
>>
>>
>> *[bugs:#4145] <https://sourceforge.net/p/jedit/bugs/4145/>
>> https://sourceforge.net/p/jedit/bugs/4145/
>> <https://sourceforge.net/p/jedit/bugs/4145/> 5.7 proxy error for plugin
>> manager*
>>
>> *Status:* open
>> *Group:* minor bug
>> *Created:* Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
>> *Last Updated:* Sat Jun 14, 2025 11:37 PM UTC
>> *Owner:* nobody
>> *Attachments:*
>>
>>    - jEdit plugin server list.jpg
>>
>>    https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg
>>    (160.6 kB; image/jpeg)
>>    - jEdit proxy error.jpg
>>
>>    https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg
>>    (14.1 kB; image/jpeg)
>>
>> I recently updated to version 5.7. I now get the following message when
>> trying to open the plugin manager (see attachment "jEdit proxy error.jpg")
>> and can see no plugins. I tried this with a clean profile with updated
>> proxy info as well and it did not help. The option page that shows the
>> list
>> of plugin servers works however (see attachment "jEdit plugin server
>> list.jpg")...
>> ------------------------------
>>
>> Sent from sourceforge.net because you indicated interest in
>> https://sourceforge.net/p/jedit/bugs/4145/
>>
>> To unsubscribe from further messages, please visit
>> https://sourceforge.net/auth/subscriptions/
>>
>> ------------------------------
>>
>> *[bugs:#4145] <https://sourceforge.net/p/jedit/bugs/4145/> 5.7 proxy
>> error for plugin manager*
>>
>> *Status:* open
>> *Group:* minor bug
>> *Created:* Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
>> *Last Updated:* Mon Jun 16, 2025 01:13 PM UTC
>> *Owner:* nobody
>> *Attachments:*
>>
>>    - jEdit plugin server list.jpg
>>    <https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg>
>>    (160.6 kB; image/jpeg)
>>    - jEdit proxy error.jpg
>>    <https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg>
>>    (14.1 kB; image/jpeg)
>>
>> I recently updated to version 5.7. I now get the following message when
>> trying to open the plugin manager (see attachment "jEdit proxy error.jpg")
>> and can see no plugins. I tried this with a clean profile with updated
>> proxy info as well and it did not help. The option page that shows the list
>> of plugin servers works however (see attachment "jEdit plugin server
>> list.jpg")...
>> ------------------------------
>>
>> Sent from sourceforge.net because you indicated interest in
>> https://sourceforge.net/p/jedit/bugs/4145/
>>
>> To unsubscribe from further messages, please visit
>> https://sourceforge.net/auth/subscriptions/
>>
>



---

**[bugs:#4145] 5.7 proxy error for plugin manager**

**Status:** open
**Group:** minor bug
**Created:** Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
**Last Updated:** Mon Jun 16, 2025 01:13 PM UTC
**Owner:** nobody
**Attachments:**

- [jEdit plugin server list.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg) (160.6 kB; image/jpeg)
- [jEdit proxy error.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg) (14.1 kB; image/jpeg)


I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...


---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.
--===============7814749369254410936==
MIME-Version: 1.0
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: 7bit

<div class="markdown_content"><p>first lines of activity log are<br/>
Log file created on Thu Jun 26 10:26:11 CEST 2025<br/>
IMPORTANT:<br/>
Because updating this file after every log message would kill<br/>
performance, it will be <em>incomplete</em> unless you invoke the<br/>
Utilities-&gt;Troubleshooting-&gt;Update Activity Log on Disk command!<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: When reporting bugs, please include the<br/>
following information:<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: java.version=17.0.13<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: java.vm.version=17.0.13+4-LTS-259<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: java.vm.name=Java HotSpot(TM) 64-Bit<br/>
Server VM<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: java.runtime.version=17.0.13+4-LTS-259<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: java.runtime.name=Java(TM) SE Runtime<br/>
Environment<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: java.vendor=Oracle Corporation<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: java.compiler=null<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: os.name=Windows 11<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: os.version=10.0<br/>
10:26:11 AM <span>[main]</span> <span>[message]</span> Log: os.arch=amd64<br/>
Donat Callens</p>
<p>On Thu, 26 Jun 2025 at 11:31, Donat Callens <a href="mailto:[email protected]">[email protected]</a> wrote:</p>
<blockquote>
<p>The only relevant line is this one:</p>
<ul>
<li>11:30:36 AM <span>[jEdit Worker #3]</span> <span>[error]</span> PluginList:<br/>
   CacheRemotePluginList: proxy requires authentication</li>
</ul>
<p>Donat Callens</p>
<p>On Mon, 16 Jun 2025 at 15:14, Donat Callens <a href="mailto:
[email protected]">
[email protected]</a> wrote:</p>
<blockquote>
<p>The proxy needs a username and password. It did work on the same profile<br/>
before updating recently to version 5.7. After that it did not work<br/>
anymore. I tried with a new empty profile and proxy settings, but that did<br/>
not work either.</p>
<p>Donat Callens</p>
<p>On Mon, 16 Jun 2025, 15:11 Alan Ezust, [email protected] wrote:</p>
<p>We need more info to reproduce. Is a username/password required for this<br/>
proxy?<br/>
Did you supply one or both or neither?</p>
<hr/>
<p><em><a class="alink" href="https://sourceforge.net/p/jedit/bugs/4145/">[bugs:#4145]</a> <a href="https://sourceforge.net/p/jedit/bugs/4145/">https://sourceforge.net/p/jedit/bugs/4145/</a><br/>
<a href="https://sourceforge.net/p/jedit/bugs/4145/"></a><a href="https://sourceforge.net/p/jedit/bugs/4145/">https://sourceforge.net/p/jedit/bugs/4145/</a><br/>
<a href="https://sourceforge.net/p/jedit/bugs/4145/">https://sourceforge.net/p/jedit/bugs/4145/</a> 5.7 proxy error for plugin<br/>
manager</em></p>
<p><em>Status:</em> open<br/>
<em>Group:</em> minor bug<br/>
<em>Created:</em> Thu Jun 12, 2025 07:01 AM UTC by Donat Callens<br/>
<em>Last Updated:</em> Sat Jun 14, 2025 11:37 PM UTC<br/>
<em>Owner:</em> nobody<br/>
<em>Attachments:</em></p>
<ul>
<li>jEdit plugin server list.jpg</li>
</ul>
<p><a href="https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg">https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg</a><br/>
   (160.6 kB; image/jpeg)<br/>
   - jEdit proxy error.jpg</p>
<p><a href="https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg">https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg</a><br/>
   (14.1 kB; image/jpeg)</p>
<p>I recently updated to version 5.7. I now get the following message when<br/>
trying to open the plugin manager (see attachment "jEdit proxy error.jpg")<br/>
and can see no plugins. I tried this with a clean profile with updated<br/>
proxy info as well and it did not help. The option page that shows the<br/>
list<br/>
of plugin servers works however (see attachment "jEdit plugin server<br/>
list.jpg")...</p>
<hr/>
<p>Sent from sourceforge.net because you indicated interest in<br/>
<a href="https://sourceforge.net/p/jedit/bugs/4145/">https://sourceforge.net/p/jedit/bugs/4145/</a></p>
<p>To unsubscribe from further messages, please visit<br/>
<a href="https://sourceforge.net/auth/subscriptions/">https://sourceforge.net/auth/subscriptions/</a></p>
<hr/>
<p><em><a class="alink" href="https://sourceforge.net/p/jedit/bugs/4145/">[bugs:#4145]</a> <a href="https://sourceforge.net/p/jedit/bugs/4145/">https://sourceforge.net/p/jedit/bugs/4145/</a> 5.7 proxy<br/>
error for plugin manager</em></p>
<p><em>Status:</em> open<br/>
<em>Group:</em> minor bug<br/>
<em>Created:</em> Thu Jun 12, 2025 07:01 AM UTC by Donat Callens<br/>
<em>Last Updated:</em> Mon Jun 16, 2025 01:13 PM UTC<br/>
<em>Owner:</em> nobody<br/>
<em>Attachments:</em></p>
<ul>
<li>jEdit plugin server list.jpg<br/>
<a href="https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg">https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg</a><br/>
   (160.6 kB; image/jpeg)</li>
<li>jEdit proxy error.jpg<br/>
<a href="https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg">https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg</a><br/>
   (14.1 kB; image/jpeg)</li>
</ul>
<p>I recently updated to version 5.7. I now get the following message when<br/>
trying to open the plugin manager (see attachment "jEdit proxy error.jpg")<br/>
and can see no plugins. I tried this with a clean profile with updated<br/>
proxy info as well and it did not help. The option page that shows the list<br/>
of plugin servers works however (see attachment "jEdit plugin server<br/>
list.jpg")...</p>
<hr/>
<p>Sent from sourceforge.net because you indicated interest in<br/>
<a href="https://sourceforge.net/p/jedit/bugs/4145/">https://sourceforge.net/p/jedit/bugs/4145/</a></p>
<p>To unsubscribe from further messages, please visit<br/>
<a href="https://sourceforge.net/auth/subscriptions/">https://sourceforge.net/auth/subscriptions/</a></p>
</blockquote>
</blockquote>
<hr/>
<p><strong><a class="alink" href="https://sourceforge.net/p/jedit/bugs/4145/">[bugs:#4145]</a> 5.7 proxy error for plugin manager</strong></p>
<p><strong>Status:</strong> open<br/>
<strong>Group:</strong> minor bug<br/>
<strong>Created:</strong> Thu Jun 12, 2025 07:01 AM UTC by Donat Callens<br/>
<strong>Last Updated:</strong> Mon Jun 16, 2025 01:13 PM UTC<br/>
<strong>Owner:</strong> nobody<br/>
<strong>Attachments:</strong></p>
<ul>
<li><a class="" href="https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg">jEdit plugin server list.jpg</a> (160.6 kB; image/jpeg)</li>
<li><a class="" href="https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg">jEdit proxy error.jpg</a> (14.1 kB; image/jpeg)</li>
</ul>
<p>I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...</p>
<hr/>
<p>Sent from sourceforge.net because [email protected] is subscribed to <a href="https://sourceforge.net/p/jedit/bugs/">https://sourceforge.net/p/jedit/bugs/</a></p>
<p>To unsubscribe from further messages, a project admin can change settings at <a href="https://sourceforge.net/p/jedit/admin/bugs/options.">https://sourceforge.net/p/jedit/admin/bugs/options.</a>  Or, if this is a mailing list, you can unsubscribe from the mailing list.</p></div>
--===============7814749369254410936==--

--===============8170132113478709969==--


--===============7360181252064925902==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============7360181252064925902==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel

--===============7360181252064925902==--