Changed port to int type (was string, which caused %d not to work in node.py.)
Changed port to int type (was string, which caused %d not to work in node.py.)

mininet/mininet,mininet/mininet,mininet/mininet