From 1309f81f514affec153e25b29f635f6f93b5ff59 Mon Sep 17 00:00:00 2001 From: "maruel@chromium.org" Date: Tue, 14 Sep 2010 18:59:28 +0000 Subject: [PATCH] Revert back to use exec() instead of execfile(). It seems execfile() has different properties than exec(). TEST=none BUG=none Review URL: http://codereview.chromium.org/3448001 git-svn-id: svn://svn.chromium.org/chrome/trunk/tools/depot_tools@59407 0039d316-1c4b-4281-b951-d872f2087c98 --- drover.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/drover.py b/drover.py index 2f726a5d1..8a56e2a3e 100755 --- a/drover.py +++ b/drover.py @@ -403,7 +403,9 @@ def drover(options, args): global file_pattern_ if os.path.exists("drover.properties"): FILE_PATTERN = file_pattern_ - execfile("drover.properties") + f = open("drover.properties") + exec(f) + f.close() if FILE_PATTERN: file_pattern_ = FILE_PATTERN