diff options
author | Ben Pfaff <blp@nicira.com> | 2011-06-15 16:39:49 -0700 |
---|---|---|
committer | Ben Pfaff <blp@nicira.com> | 2011-06-16 12:28:07 -0700 |
commit | 214301739c8a05a5c206a1781d0922d9ca781dcc (patch) | |
tree | 75f56e77c4f06415364a32e793ca050b6af09041 | |
parent | 18547b9ebc685c90274471aa938018a47af1499e (diff) |
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.
-rwxr-xr-x | xenserver/etc_init.d_openvswitch | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/xenserver/etc_init.d_openvswitch b/xenserver/etc_init.d_openvswitch index 6917fba8..9d5577ee 100755 --- a/xenserver/etc_init.d_openvswitch +++ b/xenserver/etc_init.d_openvswitch @@ -262,7 +262,6 @@ function stop_daemon { break fi done - rm -f "$pidfile" fi } |