Description
Kill the server associated with a given tool. Note that
multiple tools may be present in one server so that if
you have to kill a given tool, you may end up killing its
cousins as well. This is a current limitation of the
tasking system in AIPS++ that will probably be fixed in
version 1.5 or 1.6.