From 8bb830824b76e6fcc5f6bad6256b0fa8780c9eaa 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 2ff98251..3df99ada 100644
--- a/mininet/cli.py
+++ b/mininet/cli.py
@@ -297,6 +297,7 @@ def do_source( self, line ):
break
except IOError:
error( 'error reading file %s\n' % args[ 0 ] )
+ self.inputFile.close()
self.inputFile = None
def do_dpctl( self, line ):
--
GitLab