use standard names for pid files
authorGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Mon, 17 Sep 2012 16:09:08 +0000 (18:09 +0200)
committerGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Mon, 17 Sep 2012 16:09:08 +0000 (18:09 +0200)
commit52010d77f9ac6cb4785a24297f85e56e7ccd98ff
treeb15d8fdb870c07942a1833c591cad07721d228b0
parent0b11a59b24569f1f75024def4e167073c632a817
use standard names for pid files

We use standard names for the pid files of
ovsdb-server and ovs-vswitchd, only the directory
is configurable.

In this way ovs-appctl is able to find the control
sockets by itself.
planetlab/scripts/sliver-ovs.in