tree 25c02e38cf62a5b0208ebf5a11cfa6b1c15308cf
parent 9eced065354fefa4258a17c912b7339ff71edaf1
parent dccfbc693ecf1b6bb9eb30d222c2afe5641f5f62
author shahshreya <shreya@onlab.us> 1424461528 -0800
committer shahshreya <shreya@onlab.us> 1424461528 -0800

Merge pull request #79 from opennetworkinglab/lincoe_disconnect

modify disconnect() in remotemininetdriver to take care to exit from min...