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. |