From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Thu, 27 Aug 2015 10:53:37 +0000 (+0100)
Subject: JAL-1727 added EBI mirror of DAS registry
X-Git-Tag: Jalview_2_9~10^2~14
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=2960385c83ed39b5dc2ffcccae37ebad3190eb0f;p=jalview.git

JAL-1727 added EBI mirror of DAS registry
---

diff --git a/help/html/features/dassettings.html b/help/html/features/dassettings.html
index 684d183..90577f0 100644
--- a/help/html/features/dassettings.html
+++ b/help/html/features/dassettings.html
@@ -44,8 +44,10 @@ more about these values.
 <p><strong>Updating the list of sources</strong></p>
 <p>When the DAS Settings panel is first opened, and when the <strong>'Refresh
 source'</strong> buton is pressed, a list of DAS sources is retrieved from the
-DAS registry URL (set by default to the DAS registration server at
-http://www.dasregistry.org/das/).</p>
+DAS registry URL. Note that the registry hosted at http://www.dasregistry.org/das/ was retired at the start of 2015.
+An alternative service is currently hosted at http://www.ebi.ac.uk/das-srv/registry/das/. To connect to this service, ensure your .jalview_properties file includes the following line:<br>
+<b>DAS_REGISTRY_URL=http\://www.ebi.ac.uk/das-srv/registry/das/</b>
+</p>
 <p><strong>Adding your own DAS Sources</strong></p>
 <p>You can add your own DAS source to the list by clicking the
 &quot;Add Local Source&quot; button. Enter the URL and nickname of your