Cannot install plugins.
Submitted by on Thursday, 27 January, 2005 - 04:47
Hi there,
I tried to install JEdit 4.2pre.15 on a Win2k box.
This is the Java version that I run :
C:\Documents and Settings\Administrator>java -version
java version "1.5.0"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0-b64)
Java HotSpot(TM) Client VM (build 1.5.0-b64, mixed mode, sharing)
And this is the error message that I have when I try to get plugins:
Could not download the plugin list.
(java.net.UnknownHostException: plugins.jedit.org)
I have obviously access to the net, because I can send you a message
And I have no proxy..
I also tried with a 4.2 and I get the same error message..
I tried to install JEdit 4.2pre.15 on a Win2k box.
This is the Java version that I run :
C:\Documents and Settings\Administrator>java -version
java version "1.5.0"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0-b64)
Java HotSpot(TM) Client VM (build 1.5.0-b64, mixed mode, sharing)
And this is the error message that I have when I try to get plugins:
Could not download the plugin list.
(java.net.UnknownHostException: plugins.jedit.org)
I have obviously access to the net, because I can send you a message
And I have no proxy..
I also tried with a 4.2 and I get the same error message..
