The .cshrc file that comes with your Inferno system contains the alias which can be used to kill all Inferno processes at once.
To kill all Inferno-related processes:
To verify that all Inferno-related processes have been killed:
This command displays information about all active processes, including the application with which each process is associated, and a process ID number. If all Inferno processes have been successfully killed, this command should return no results.
Never restart Inferno if there are still Inferno processes left over from a previous session. If some Inferno processes persist after using the kill alias, you must kill them independently.