Re: removing dead servers

[Lars Ingebrigtsen]

Leo Butler <leo.butler@umanitoba.ca> writes:

> Anyhow, after trying and failing to remove them in the *Server* buffer
> (they were un-editable), I realized that gnus uses the list
> gnus-server-alist for the editable servers. I massaged
> gnus-server-alist, edited the dead servers, and problem was solved.

You should be able to remove them from gnus-server-alist with the `k'
command.  Only servers that Gnus knows about "from other sources"
(usually mentioned in .gnus.el or .newsrc.eld) can't be killed in that
way.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no