james.batch@LIGO.ORG - posted 09:33, Monday 26 August 2013 (7533)
Default NDS server changed to h1nds1
The default NDS server has been changed to h1nds1, effective with new shells and programs started after 9:30 AM PDT.