Nico Schottelius dbdf036787 do not need to use terminate()/SIGTERM ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>		2011-10-16 12:04:04 +02:00
..
cdist	do not need to use terminate()/SIGTERM	2011-10-16 12:04:04 +02:00