| Index: tools/get_archive.py
|
| diff --git a/tools/get_archive.py b/tools/get_archive.py
|
| index a00bb9cb40a15b7c46ecf95f12640bffca63652c..43cbcfd2a57d4fe8fa95708f37f379d06ac96956 100755
|
| --- a/tools/get_archive.py
|
| +++ b/tools/get_archive.py
|
| @@ -288,6 +288,10 @@ def GetFromGsutil(name, directory, version_file, latest_pattern,
|
| z.close()
|
| if directory == SDK_DIR:
|
| unzipped_dir = os.path.join(temp_dir, 'dart-sdk')
|
| + if os.path.exists(directory):
|
| + raise Exception(
|
| + 'Removal of directory %s failed. Is the executable running?' %
|
| + directory)
|
| shutil.move(unzipped_dir, directory)
|
| finally:
|
| shutil.rmtree(temp_dir)
|
|
|