X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL.Linux;h=c46ab55549edd4ffbdafc347beb0255a78080f80;hb=aae369c706cd56886f8560c43960110f79e062dc;hp=8ba73ed353ab5a7b816853ad19f19eda4ac6d783;hpb=404c169247b1c3ac2ebad887f0421478a6cef924;p=openvswitch

diff --git a/INSTALL.Linux b/INSTALL.Linux
index 8ba73ed3..c46ab555 100644
--- a/INSTALL.Linux
+++ b/INSTALL.Linux
@@ -256,7 +256,7 @@ configuration in the database:
 
       % ovsdb-server /usr/local/etc/openvswitch/conf.db \
                       --remote=punix:/usr/local/var/run/openvswitch/db.sock \
-                      --remote=db:Open_vSwitch,managers \
+                      --remote=db:Open_vSwitch,manager_options \
                       --private-key=db:SSL,private_key \
                       --certificate=db:SSL,certificate \
                       --bootstrap-ca-cert=db:SSL,ca_cert \
@@ -292,7 +292,7 @@ also upgrade the database schema:
 
 1. Stop the Open vSwitch daemons, e.g.:
 
-      % ovs-kill ovsdb-server.pid ovs-vswitchd.pid
+      % kill `cd /usr/local/var/run && cat ovsdb-server.pid ovs-vswitchd.pid`
 
 2. Install the new Open vSwitch release.