* Set a server down.
*
* @param server_row the servers row in the table.
*/
public void setServerDown(int server_row){
Registration _reg = RegistrationHelper.narrow(m_admin);
try{
_reg.set_server_down(m_servers[server_row].name);
}catch (Exception _e){
handleException (_e);
}
refreshServer(m_servers[server_row].name);