X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=vswitchd%2Fsystem-stats.c;h=b8f8d7e33036e0956a90cfe5c4bc1f233078c7c1;hb=83db796889bf98f8699fbd7305ffe920a0b527a1;hp=9c5a25c5ef482096cd16755a9b8a6e84efa3e858;hpb=b43c6fe279a5630dfbc0273e06bd1e8ca530ba35;p=openvswitch

diff --git a/vswitchd/system-stats.c b/vswitchd/system-stats.c
index 9c5a25c5..b8f8d7e3 100644
--- a/vswitchd/system-stats.c
+++ b/vswitchd/system-stats.c
@@ -22,7 +22,6 @@
 #if HAVE_MNTENT_H
 #include <mntent.h>
 #endif
-#include <signal.h>
 #include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
@@ -414,7 +413,7 @@ get_process_stats(struct shash *stats)
         file_name = xasprintf("%s/%s", ovs_rundir(), de->d_name);
         pid = read_pidfile(file_name);
         free(file_name);
-        if (pid < 0 || kill(pid, 0)) {
+        if (pid < 0) {
             continue;
         }