X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL.Linux;h=0d3c31025a7e54466e6d5f3bdadfbd5671f5ad8b;hb=7e041ba51410125ec74cba2b5f0b6f1b0481baa9;hp=c0b07d528598d61724a981f57564f91903c2d7a9;hpb=9b80f761bed9a32c1b0eb22ee3361966057ea973;p=openvswitch

diff --git a/INSTALL.Linux b/INSTALL.Linux
index c0b07d52..0d3c3102 100644
--- a/INSTALL.Linux
+++ b/INSTALL.Linux
@@ -302,7 +302,7 @@ also upgrade the database schema:
 
 1. Stop the Open vSwitch daemons, e.g.:
 
-      % kill `cd /usr/local/var/run && cat ovsdb-server.pid ovs-vswitchd.pid`
+      % kill `cd /usr/local/var/run/openvswitch && cat ovsdb-server.pid ovs-vswitchd.pid`
 
 2. Install the new Open vSwitch release.