Public Methods
| ~TaskManager () 
 | ~TaskManager | 
| void  set_do_exec (bool do_exec) 
 | set_do_exec | 
| void  add_xrl (const string& module_name, const UnexpandedXrl& xrl, 
		 XrlRouter::XrlCallback& cb) 
 | add_xrl | 
| void  shutdown_module (const string& module_name) 
 | shutdown_module | 
| void  run (CallBack cb) 
 | run | 
 [const]
 [const]
 [const]
 [const]
 [const]
 [const]
| void  kill_process (const string& module_name) 
 | kill_process | 
 kill_process is used to kill a fatally wounded process. This
 does not politely ask the process to die, because if we get
 here we can't communicate with the process using XRLs, so we
 just kill it outright.
Parameters:
| module_name | the module name of the process to be killed. | 
 shell_execute is used to start external processes, running them
 in a shell.  It is NOT used to start regular XORP processes,
 but rather for background maintenance tasks.
Parameters:
| userid | the UID of the user to run the task as. | 
| argv | the command and arguements to run | 
| callback | callback to call when the child process terminates | 
	
Generated by: pavlin on possum.icir.org on Wed Apr 13 21:53:23 2005, using kdoc $.