/** * Remove the server * * @param server server to remove */ public void removeServer(AddeServer server) { if (!MARK_AS_INACTIVE && !server.getIsLocal()) { return; } getIdv().getIdvChooserManager().removeAddeServer(server, MARK_AS_INACTIVE); updateServerList(); }