Set errno to 0 before trying to kill the other process.
authorIvo Timmermans <ivo@lychnis.net>
Fri, 24 Nov 2000 14:13:06 +0000 (14:13 +0000)
committerIvo Timmermans <ivo@lychnis.net>
Fri, 24 Nov 2000 14:13:06 +0000 (14:13 +0000)
lib/pidfile.c

index 54a6b4c16d6ccb7444ff6dc6bb357d90f2abaa96..a954d18f92851b8f9022ded10ce92733f18b907c 100644 (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);