Closed zhihongsun51 closed 5 years ago
The code returned an error whenever the old PID was undefined since kill can't kill an undefined PID. Changed it so it would check if the PID exists first and then tries to kill. Maybe if the server restarts there isn't an old PID or something.
Should work now. Was part of another pull request. Therefore I will close this one. Regards Martin
The code returned an error whenever the old PID was undefined since kill can't kill an undefined PID. Changed it so it would check if the PID exists first and then tries to kill. Maybe if the server restarts there isn't an old PID or something.