X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=INSTALL.Linux;h=c46ab55549edd4ffbdafc347beb0255a78080f80;hb=a4b2e516ffd0aa466f2d0182c89a91ce5d23d9a4;hp=103805aefbc53565479249e94531fe9861e6df33;hpb=289df16d29e963aef8c9df590300add4ab722ac9;p=openvswitch

diff --git a/INSTALL.Linux b/INSTALL.Linux
index 103805ae..c46ab555 100644
--- a/INSTALL.Linux
+++ b/INSTALL.Linux
@@ -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.