JAL-1727 patch to make EBI mirror the default server Release_2_8_2b1_Branch
authorJames Procter <jprocter@lifesci-29958.dyn.lifesci.dundee.ac.uk>
Mon, 11 May 2015 06:16:20 +0000 (07:16 +0100)
committerJames Procter <jprocter@lifesci-29958.dyn.lifesci.dundee.ac.uk>
Mon, 11 May 2015 06:16:20 +0000 (07:16 +0100)
commitdac9672dba85c9bb2d7b7313e015d7561f252fe1
treef51df8e6735ce8eb4aae00eefad2fd398335f4bf
parent7716d5e53e939dbb05827995adbc4505cbf8e6fa
JAL-1727 patch to make EBI mirror the default server
src/jalview/ws/dbsources/das/datamodel/DasSourceRegistry.java