Public Methods
| ~TaskManager () 
 | ~TaskManager | 
| void  set_do_exec (bool do_exec) 
 | set_do_exec | 
| void  add_xrl (const string& modname, const UnexpandedXrl& xrl, 
		 XrlRouter::XrlCallback& cb) 
 | add_xrl | 
| void  shutdown_module (const string& modname) 
 | shutdown_module | 
| void  run (CallBack cb) 
 | run | 
 [const]
 [const]
 [const]
 [const]
| void  kill_process (const string& modname) 
 | 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:
| modname | the module name of the process to be killed. | 
	
	| Generated by: pavlin on possum.icir.org on Thu Nov  6 23:47:10 2003, using kdoc 2.0a54+XORP. |