{
public void run()
{
+ String orgtimeout = System.getProperty("sun.net.client.defaultConnectTimeout");
+ if (orgtimeout==null)
+ {
+ orgtimeout="30";
+ System.out.println("# INFO: Setting default net timeout to "+orgtimeout+" seconds.");
+ }
String jnlpVersion = null;
try
{
+ System.setProperty("sun.net.client.defaultConnectTimeout", "5000");
java.net.URL url = new java.net.URL(
"http://www.jalview.org/webstart/jalview.jnlp");
BufferedReader in = new BufferedReader(new InputStreamReader(url.
}
catch (Exception ex)
{
+ System.out.println("Non-fatal exceptions when checking version at www.jalview.org :");
System.out.println(ex);
jnlpVersion = getProperty("VERSION");
}
+ System.setProperty("sun.net.client.defaultConnectTimeout", orgtimeout);
setProperty("LATEST_VERSION", jnlpVersion);
}