| Index: drover.py
|
| diff --git a/drover.py b/drover.py
|
| index 77922cd705790ca75d2bad7bf129ad629c63c795..9329fda2b6611781c79fafe97813d25e6d80181b 100755
|
| --- a/drover.py
|
| +++ b/drover.py
|
| @@ -402,11 +402,9 @@ def drover(options, args):
|
| # Override the default properties if there is a drover.properties file.
|
| global file_pattern_
|
| if os.path.exists("drover.properties"):
|
| - f = open("drover.properties")
|
| - exec(f)
|
| - f.close()
|
| - if FILE_PATTERN:
|
| - file_pattern_ = FILE_PATTERN
|
| + FILE_PATTERN = file_pattern_
|
| + execfile("drover.properties")
|
| + file_pattern_ = FILE_PATTERN
|
|
|
| if options.revert and options.branch:
|
| url = BRANCH_URL.replace("$branch", options.branch)
|
|
|