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, 28 Jul 2011 18:21:57 +0000 (11:21 -0700)
commitccf16467108326ba35686f549534f254db02b113
tree5a2107b67fac2d8ce5b3192f6b7a993194cf45fd
parentf6f9437ba35e58203a614a9bf765e87d37f4da29
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