From f66904ab90b969c94f0206af512b46c8db2d2b68 Mon Sep 17 00:00:00 2001
From: cody burkard <cody@onlab.us>
Date: Fri, 31 Oct 2014 08:20:00 -0700
Subject: [PATCH] ensure we retrieve a single PID when run on a cluster node
---
util/m | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/util/m b/util/m
index f3b8ce55..06900fca 100755
--- a/util/m
+++ b/util/m
@@ -9,7 +9,7 @@ else
host=$1
fi
-pid=`ps ax | grep "mininet:$host$" | grep bash | awk '{print $1};'`
+pid=`ps ax | grep "mininet:$host$" | grep bash | grep -v mnexec | awk '{print $1};'`
if echo $pid | grep -q ' '; then
echo "Error: found multiple mininet:$host processes"
--
GitLab