xenserver: Don't delete pidfile in stop_daemon.
authorBen Pfaff <blp@nicira.com>
Wed, 15 Jun 2011 23:39:49 +0000 (16:39 -0700)
committerBen Pfaff <blp@nicira.com>
Thu, 16 Jun 2011 19:28:07 +0000 (12:28 -0700)
commit214301739c8a05a5c206a1781d0922d9ca781dcc
tree75f56e77c4f06415364a32e793ca050b6af09041
parent18547b9ebc685c90274471aa938018a47af1499e
xenserver: Don't delete pidfile in stop_daemon.

Deleting the pidfile introduces a minor race: if some other process is
starting a daemon at the same time that the init script is stopping the
same daemon, then this could delete the new daemon's pidfile.

This is really a theoretical risk, because no one should be starting and
stopping a single daemon at the same time.
xenserver/etc_init.d_openvswitch