-
Timothy Stack authored
'exec' to the command-line so it replaces the 'csh' and we can directly control the process. When STOPping or KILLing a program, also try 'sudo kill <pid>' if the regular killpg() doesn't work.
11b12e17
'exec' to the command-line so it replaces the 'csh' and we can directly control the process. When STOPping or KILLing a program, also try 'sudo kill <pid>' if the regular killpg() doesn't work.