I would just like the Listserv gurus and/or #1 :) to correct me on this:
 
After killing an old list by erasing all it's files on the servers disks,
rebooting it and REFRESHing the pertinent FILELISTs, the server will
eventually inform all it's peers of the disappearance so the global
LISTS files will synchronize, all by itself ? Or, do I have to issue some
additional command ?
 
Thanks.
 
Juan
 
P. S. And, yes, the list userid has been deleted from the system directory.