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 (file)
--- 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