system-stats: Don't bother calling kill() after read_pidfile().
authorJustin Pettit <jpettit@nicira.com>
Sun, 13 Mar 2011 08:01:53 +0000 (00:01 -0800)
committerJustin Pettit <jpettit@nicira.com>
Sun, 13 Mar 2011 18:06:50 +0000 (11:06 -0700)
commit8da7ca8760cb84e8e8b443976d1b26391eab1873
tree1111a779be1b2f61e686534a3e03240aa365e819
parent5059eff3bdd5a8ddd5b9d0559b3d36f2b2ad2a7a
system-stats: Don't bother calling kill() after read_pidfile().

The function read_pidfile() will only return a PID if the process is
still running, so there's no reason to send a signal to check again.

Suggested-by: Andrew Evans <aevans@nicira.com>
vswitchd/system-stats.c