tree 05074e7902b63275308367a6c14878872c88995c
parent 64bac4c352f8986a64967c40c9ea696f63d99fbe
author shahshreya <shreya@onlab.us> 1424461209 -0800
committer shahshreya <shreya@onlab.us> 1424461209 -0800

modify disconnect() in remotemininetdriver to take care to exit from mininet prompt