Revision f66904ab util/m

View differences:

util/m
9 9
  host=$1
10 10
fi
11 11

  
12
pid=`ps ax | grep "mininet:$host$" | grep bash | awk '{print $1};'`
12
pid=`ps ax | grep "mininet:$host$" | grep bash | grep -v mnexec | awk '{print $1};'`
13 13

  
14 14
if echo $pid | grep -q ' '; then
15 15
  echo "Error: found multiple mininet:$host processes"

Also available in: Unified diff