From e2eb95a29f4134e0bab552398b08df518ea7aa23 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Sat, 6 Jul 2013 14:14:25 -0700
Subject: [PATCH] Add $ to avoid h1 matching h10

---
 util/m | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/m b/util/m
index 002557e..786dcce 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 | awk '{print $1};'`
 
 if echo $pid | grep -q ' '; then
   echo "Error: found multiple mininet:$host processes"