Steps
1) Fresh Ubuntu install (12.04 LTS)
2) Install jedit
sudo echo "deb http://switch.dl.sourceforge.net/project/jedit /" > /etc/apt/sources.list.d/jedit.list
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 486ABAF7A2D417C5
sudo apt-get update
apt-get install jedit
3) Start jedit :: Utilities -> Global Options -> Plugin Manager -> Update mirror list
4) [Expected]: updated list.
[Actual]: I/O error dialog with 403 error.
More details:
java.io.IOException: Server returned HTTP response code: 403 for URL: http://plugins.jedit.org/export/mirror_list.php
at sun.net.www.protocol.http.HttpURLConnection.getInputStream(HttpURLConnection.java:1627)
at java.net.URL.openStream(URL.java:1037)
at org.gjt.sp.jedit.pluginmgr.MirrorList.downloadXml(MirrorList.java:146)
at org.gjt.sp.jedit.pluginmgr.MirrorList.<init>(MirrorList.java:60)
at org.gjt.sp.jedit.options.PluginManagerOptionPane$UpdateMirrorsThread._run(PluginManagerOptionPane.java:316)
at org.gjt.sp.util.Task.run(Task.java:64)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1145)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:615)
at java.lang.Thread.run(Thread.java:745)
curl -I http://plugins.jedit.org/export/mirror_list.php
HTTP/1.1 200 OK
Server: Apache/2.2.15 (CentOS)
Vary: Host, Accept-Encoding, User-Agent
Cache-Control: max-age=172800
Expires: Tue, 10 Feb 2015 20:44:43 GMT
X-Varnish: 449048826
Content-Length: 5071
Content-Type: text/plain
Date: Sun, 08 Feb 2015 20:44:43 GMT
Age: 53
Via: 1.1 varnish, 1.1 XXXX-proxy-4.XXXXXX.com:80 (Cisco-WSA/8.0.6-119)
Connection: keep-alive
12:31:29 PM [main] [message] Log: When reporting bugs, please include the following information:
12:31:29 PM [main] [message] Log: java.version=1.7.0_76
12:31:29 PM [main] [message] Log: java.vm.version=24.76-b04
12:31:29 PM [main] [message] Log: java.vm.name=Java HotSpot(TM) 64-Bit Server VM
12:31:29 PM [main] [message] Log: java.runtime.version=1.7.0_76-b13
12:31:29 PM [main] [message] Log: java.runtime.name=Java(TM) SE Runtime Environment
12:31:29 PM [main] [message] Log: java.vendor=Oracle Corporation
12:31:29 PM [main] [message] Log: java.compiler=null
12:31:29 PM [main] [message] Log: os.name=Linux
12:31:29 PM [main] [message] Log: os.version=3.13.0-45-generic
12:31:29 PM [main] [message] Log: os.arch=amd64
12:31:29 PM [main] [message] Log: user.home=/home/local/ANT/rothwell
12:31:29 PM [main] [message] Log: java.home=/usr/lib/jvm/jdk1.7.0_76/jre
12:31:29 PM [main] [message] Log: java.class.path=/usr/share/jEdit/jedit.jar
12:31:30 PM [main] [notice] jEdit: jEdit version 5.2.0
Description: Ubuntu 12.04.5 LTS
Release: 12.04
Codename: precise
403 is forbidden error. My guess is this is something that is being imposed on you by your firewall settings, because I can access that URL fine from my own network without getting 403 error.
Does this reproduce when you try the same thing from a different network?
In the bug, I posted the curl response for that URL same box and same
network.
On Sun, Feb 8, 2015, 7:01 PM Alan Ezust ezust@users.sf.net wrote:
Related
Bugs: #3909
Interesting. Do you have the same problem if you use the java installer and install jedit into your home directory? Because I am unable to reproduce this on my end with my version. But I do not use the debian installer.
I'll give the java installer a try later in the week (Wed). I'm short on time at the moment.