stopproc.sh
changeset 30 068b147f99c2
parent 28 960ad5dd216e
child 31 7101eae203e4
--- a/stopproc.sh	Mon Jun 21 12:31:22 2010 +0100
+++ b/stopproc.sh	Mon Jun 21 12:35:07 2010 +0100
@@ -29,6 +29,8 @@
 	for pid in $pids
 	do
 		echo "`date` asking $pid to close" >>/var/log/logrtc.log
+		line=`ps -fp $pid | tail -1`
+		echo "`date` $pid is $line" >>/var/log/logrtc.log
 		kill -5 $pid
 	done
 	# give them a chance for last rites
@@ -44,6 +46,8 @@
 	for pid in $pids
 	do
 		echo "`date` forcing $pid to die" >>/var/log/logrtc.log
+		line=`ps -fp $pid | tail -1`
+		echo "`date` $pid is $line" >>/var/log/logrtc.log
 		kill -9 $pid
 	done
 	# give them a chance for last rites