holoirc: fix deleting servers