# HG changeset patch # User Pascal Bellard # Date 1236706688 0 # Node ID 10b04a333b4d88e80ff1b4122df78daa91ceb962 # Parent 979868f40866a5e16632430db40f9aa645c3b6b9 rc.functions/active_pidfile: filter pid diff -r 979868f40866 -r 10b04a333b4d etc/init.d/rc.functions --- a/etc/init.d/rc.functions Mon Mar 09 20:04:05 2009 +0000 +++ b/etc/init.d/rc.functions Tue Mar 10 17:38:08 2009 +0000 @@ -31,7 +31,8 @@ { if [ ! -e $1 ]; then return 1 - elif grep -qs "Name:.$(basename $2)$" /proc/$(cat $1)/status ; then + elif grep -qs "Name:.$(basename $2)$" \ + /proc/$(cat $1 | sed 's/[^0-9]//g')/status ; then return 0 else rm -f $1