diff --git a/evaluation/demonstration/demo1_simple_middlebox/run_demo.sh b/evaluation/demonstration/demo1_simple_middlebox/run_demo.sh index 718eeb68197252dff0d596f03fe6170532828d04..19e067d59b1a3a2feb555ec19b28da3d86a45d43 100755 --- a/evaluation/demonstration/demo1_simple_middlebox/run_demo.sh +++ b/evaluation/demonstration/demo1_simple_middlebox/run_demo.sh @@ -1,13 +1,13 @@ echo "Starting Middlebox" ../middlebox 8423 127.0.0.1:8423 simpleMiddlebox & - mboxpid=$(pidof ../mcmbox) + mboxpid=$(pidof middlebox) sleep .3 echo "Starting Server" ../server ./simpleEchoScript.sh & - serverpid=$(pidof ../mcserver) + serverpid=$(pidof server) sleep .3