From 432268b17bff090a8ea8cbbd46c430ddd5be98a1 Mon Sep 17 00:00:00 2001 From: Amey Bhide Date: Tue, 30 Jun 2015 11:39:05 -0700 Subject: [PATCH] Fix NameError in worlddump.py Change-Id: Ie87e5b5ead777c0153ed7fa5d1db5cc1ae444261 --- tools/worlddump.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/worlddump.py b/tools/worlddump.py index 0f1a6a1da9..628a69f7e5 100755 --- a/tools/worlddump.py +++ b/tools/worlddump.py @@ -47,7 +47,7 @@ def _dump_cmd(cmd): print cmd print "-" * len(cmd) print - subprocess.Popen(cmd, shell=True) + Popen(cmd, shell=True) def _header(name):