Re: how to kill a virtual group

[Eric Abrahamsen <eric@ericabrahamsen.net>]

Emanuel Berg <moasenwood@zoho.eu> writes:

> Eric Abrahamsen wrote:
>
>> In principle I agree, but in this case I think it's pretty
>> useful to have the ability to define servers in a config
>> file, that's maybe version controlled, but then also have
>> the ability to create and destroy servers on the fly
>> within Gnus.
>
> Yes, but why should it matter when they are _used_? Where and
> how they are defined?

It matters when they are edited or deleted, that's all. It doesn't make
any sense to edit or delete servers defined in .gnus.el via the *Server*
buffer, because those changes will not persist -- they'll be re-written
next time you start Gnus.

Uwe was trying to delete a nnvirtual server, and since that server was
created in Gnus, it should be deletable in Gnus. It wasn't, hence the bug.