--- src/etc/script/sympa.generic.org 2004-12-10 01:23:03.000000000 -0800 +++ src/etc/script/sympa.generic 2006-04-04 17:03:00.000000000 -0700 @@ -111,7 +111,7 @@ echo "Stopping Sympa subsystem: " if [ -f $pidfilepath/sympa ]; then kill `cat $pidfilepath/sympa.pid` - kill `cat $pidfilepath/sympa-distribution.pid` +# kill `cat $pidfilepath/sympa-distribution.pid` kill `cat $pidfilepath/archived.pid` kill `cat $pidfilepath/bounced.pid` kill `cat $pidfilepath/task_manager.pid`