| Index: tools/get_drt.py
|
| diff --git a/tools/get_drt.py b/tools/get_drt.py
|
| index 1997946250034a89a70ec1dd812719b497bb2d9d..2e95299a7b97eae4fafd0a28e8e0b862bd66aa6d 100755
|
| --- a/tools/get_drt.py
|
| +++ b/tools/get_drt.py
|
| @@ -148,7 +148,7 @@ def main():
|
| result, out = execute_command('unzip', temp_zip, '-d', temp_dir)
|
| if result != 0:
|
| raise Exception('Execution of "unzip %s -d %s" failed: %s' %
|
| - (temp_zip, temp_dir, str(output)))
|
| + (temp_zip, temp_dir, str(out)))
|
| unzipped_dir = temp_dir + '/' + os.path.basename(latest)[:-4] # remove .zip
|
| shutil.move(unzipped_dir, DRT_DIR)
|
| finally:
|
|
|