From: amwaterhouse Date: Thu, 27 Jul 2006 13:10:17 +0000 (+0000) Subject: Reset das_registry_url if null or empty X-Git-Tag: Release_2_1~180 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=911f617591056102f9983264f52377ccad1a2f50;p=jalview.git Reset das_registry_url if null or empty --- 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