mininet/mininet — pull request #85 by xdhanz (2012-12-03 03:51:33+00:00)
Title: synchronize options in the "function usage" and the "case $OPTION in"

options in the "function usage" and "case $OPTION in" are different