fixed bug, different pid files between RedHat and Debian
fixed bug, different pid files between RedHat and Debian