mininet/mininet — pull request #429 by cdburkard (2014-11-04 18:41:41+00:00)
Title: ensure we retrieve a single PID when run on a cluster node

The previous grep command matches for both the bash process and the mnexec process when running on a cluster server.

fixes #425