sliver-ovs: ignore pid files when starting servers
authorGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Tue, 25 Feb 2014 12:48:55 +0000 (13:48 +0100)
committerGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Tue, 25 Feb 2014 12:48:55 +0000 (13:48 +0100)
commit6d7d2ace1494936d11b8cabcec26c7e4d0fdda68
treed79cfc74a9dfba0c4257d0fcc86ee2ddefd729fd
parent2f94e4095bb177d0ef849f8c0975219d3d7c0798
sliver-ovs: ignore pid files when starting servers

ovs-vswitchd and ovs-dbserver already implement their
own logic to make sure that they have only one instance
running. Our solution was inferior, since it was easily
confused by stale pid files.
planetlab/scripts/sliver-ovs.in