From 3780d9cda87516dc13b5d4b444ff6751231e6187 Mon Sep 17 00:00:00 2001
From: Baohua Yang <baohyang@cn.ibm.com>
Date: Wed, 11 Dec 2013 14:41:21 +0800
Subject: [PATCH] Close the file when done with it.

---
 mininet/cli.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mininet/cli.py b/mininet/cli.py
index 2ff9825..3df99ad 100644
--- a/mininet/cli.py
+++ b/mininet/cli.py
@@ -297,6 +297,7 @@ class CLI( Cmd ):
                     break
         except IOError:
             error( 'error reading file %s\n' % args[ 0 ] )
+        self.inputFile.close()
         self.inputFile = None
 
     def do_dpctl( self, line ):