From: jprocter <Jim Procter>
Date: Wed, 5 Jan 2011 16:03:33 +0000 (+0000)
Subject: exception reporting for bad URLs
X-Git-Tag: Release_2_7~327
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=7829d5b20332c952fd6007c7f4b2d0c5c0a6751c;p=jalview.git

exception reporting for bad URLs
---

diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java
index 0bf0fa6..78e72b2 100755
--- a/src/jalview/gui/WebserviceInfo.java
+++ b/src/jalview/gui/WebserviceInfo.java
@@ -29,6 +29,7 @@ import javax.swing.event.HyperlinkEvent.EventType;
 import javax.swing.text.html.HTMLEditorKit;
 import javax.swing.text.html.StyleSheet;
 
+import jalview.bin.Cache;
 import jalview.jbgui.*;
 import jalview.ws.WSClientI;
 
@@ -823,12 +824,16 @@ public class WebserviceInfo extends GWebserviceInfo implements
   {
     if (e.getEventType() == EventType.ACTIVATED)
     {
+      String url=null;
       try
       {
-        final String url = e.getURL().toString();
+        url = e.getURL().toString();
         Desktop.showUrl(url);
       } catch (Exception x)
       {
+        if (url!=null) { 
+          Cache.log.error("Couldn't handle string "+url+" as a URL.");
+        }
         // ignore any exceptions due to dud links.
       }