JAL-3746 JAL-3813 NOIDENTIFIERSSERVICE preference disables jalview pinging www.jalvie...

[jalview.git] / src / jalview / gui / Desktop.java

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index c713a94..429a2c1 100644 (file)
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -582,20 +582,28 @@ public class Desktop extends jalview.jbgui.GDesktop
     }).start();
   }
 
-  public void getIdentifiersOrgData() {
-    if (Cache.getProperty("NOIDENTIFIERSSERVICE") == null) {
-      // Thread off the identifiers fetcher
-      new Thread(new Runnable() {
+  public void getIdentifiersOrgData()
+  {
+    if (Cache.getProperty("NOIDENTIFIERSSERVICE") == null)
+    {// Thread off the identifiers fetcher
+      new Thread(new Runnable()
+      {
         @Override
-        public void run() {
+        public void run()
+        {
           jalview.bin.Console.debug("Downloading data from identifiers.org");
-          try {
-            UrlDownloadClient.download(IdOrgSettings.getUrl(), IdOrgSettings.getDownloadLocation());
-          } catch (IOException e) {
-            jalview.bin.Console.debug("Exception downloading identifiers.org data" + e.getMessage());
+          try
+          {
+            UrlDownloadClient.download(IdOrgSettings.getUrl(),
+                    IdOrgSettings.getDownloadLocation());
+          } catch (IOException e)
+          {
+            jalview.bin.Console.debug("Exception downloading identifiers.org data"
+                    + e.getMessage());
           }
         }
       }).start();
+      ;
     }
   }