use standard names for pid files
[sliver-openvswitch.git] / planetlab / scripts / sliver-ovs.in
2012-09-17 Giuseppe Lettieriuse standard names for pid files
2012-09-17 Giuseppe Lettieritell ovsdb-server where the db is
2012-09-17 Giuseppe Lettierimake sliver-ovs use the configure variables