Set errno to 0 before trying to kill the other process.

This commit is contained in:
Ivo Timmermans 2000-11-24 14:13:06 +00:00
parent ef88db6312
commit 4cb4a7d298

View file

@ -73,6 +73,7 @@ int check_pid (char *pidfile)
* be found -- GW
*/
/* But... errno is usually changed only on error.. */
errno = 0;
if (kill(pid, 0) && errno == ESRCH)
return(0);