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.
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`
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
}
fi
rm -f /var/lock/subsys/openvswitch
}