From 451d29e258f764998d1f28272470436fbae3bb1f Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Mon, 20 Nov 2006 18:17:15 +0000 Subject: [PATCH] Reset DAS registry --- src/jalview/gui/DasSourceBrowser.java | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/src/jalview/gui/DasSourceBrowser.java b/src/jalview/gui/DasSourceBrowser.java index fc2b387..b58ce95 100755 --- a/src/jalview/gui/DasSourceBrowser.java +++ b/src/jalview/gui/DasSourceBrowser.java @@ -41,15 +41,23 @@ public class DasSourceBrowser extends GDasSourceBrowser Vector selectedSources; - String DEFAULT_REGISTRY = "http://das.sanger.ac.uk/registry/das1/sources/"; + String DEFAULT_REGISTRY = "http://www.dasregistry.org/registry/das1/sources/"; boolean loadingDasSources = false; public DasSourceBrowser() { - registryURL.setText(jalview.bin.Cache.getDefault("DAS_REGISTRY_URL", - DEFAULT_REGISTRY) ); + String registry = jalview.bin.Cache.getDefault("DAS_REGISTRY_URL", + DEFAULT_REGISTRY); + + if(registry.equals("http://das.sanger.ac.uk/registry/das1/sources/")) + { + jalview.bin.Cache.setProperty("DAS_REGISTRY_URL", DEFAULT_REGISTRY); + registry = DEFAULT_REGISTRY; + } + + registryURL.setText( registry ); setSelectedFromProperties(); -- 1.7.10.2