From b14c5fe9bd85b440d1727934c84d5f7fded051f7 Mon Sep 17 00:00:00 2001
From: Justin Pettit <jpettit@nicira.com>
Date: Fri, 10 Sep 2010 14:32:41 -0700
Subject: [PATCH] xenserver: Don't delete pidfile when stopping
 monitor-external-ids

It's not necessary to explicitly delete the pidfile when stopping
monitor-external-ids through the init script, since the daemon will take
care of that.
---
 xenserver/etc_init.d_openvswitch | 1 -
 1 file changed, 1 deletion(-)

diff --git a/xenserver/etc_init.d_openvswitch b/xenserver/etc_init.d_openvswitch
index 7b86d4c6..05084457 100755
--- a/xenserver/etc_init.d_openvswitch
+++ b/xenserver/etc_init.d_openvswitch
@@ -358,7 +358,6 @@ function stop {
     stop_daemon OVSDB_SERVER "$ovsdb_server"
     if [ -e /var/run/openvswitch/monitor-external-ids.pid ]; then
         kill `cat /var/run/openvswitch/monitor-external-ids.pid`
-        rm /var/run/openvswitch/monitor-external-ids.pid
     fi
     rm -f /var/lock/subsys/openvswitch
 }
-- 
2.30.2