Comment 1 for bug 123155

Revision history for this message
Peter Dobcsanyi (peter-d) wrote :

Oops, the correct fix must have one more space after PID:

    if ps ax | grep -q "^ *$PID "; then

 Peter