Killing Processes
 
 
 

If Inferno hangs but you can still interact with the operating system, you must use either the kill alias defined in the Inferno .cshrc file or the kill command in conjunction with the individual process IDs.

WarningThese kill procedures should not be used to exit Inferno unless the application is hung or otherwise not responding. Killing processes indiscriminately can cause system problems. Under normal conditions, you should use one of the exit procedures described in Exiting Inferno.