From 911f617591056102f9983264f52377ccad1a2f50 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 27 Jul 2006 13:10:17 +0000
Subject: [PATCH] Reset das_registry_url if null or empty

---
 src/jalview/gui/DasSourceBrowser.java |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/jalview/gui/DasSourceBrowser.java b/src/jalview/gui/DasSourceBrowser.java
index 7875d7b..e8109c7 100755
--- a/src/jalview/gui/DasSourceBrowser.java
+++ b/src/jalview/gui/DasSourceBrowser.java
@@ -668,7 +668,10 @@ public class DasSourceBrowser extends GDasSourceBrowser
 
   public void saveProperties(Properties properties)
   {
-    properties.setProperty("DAS_REGISTRY_URL", registryURL.getText());
+    if (registryURL.getText() == null || registryURL.getText().length() < 1)
+      properties.remove("DAS_REGISTRY_URL");
+    else
+      properties.setProperty("DAS_REGISTRY_URL", registryURL.getText());
 
     StringBuffer sb = new StringBuffer();
     for(int r=0; r<table.getModel().getRowCount(); r++)
-- 
1.7.10.2