| Index: tools/download_latest_dev_sdk.py
|
| diff --git a/tools/download_latest_dev_sdk.py b/tools/download_latest_dev_sdk.py
|
| index d39cae4ee5353109b25ad3d6cf5120aebe94462f..4865e103c0b9ef8eb32c55e56b78b6c33ee5fefd 100755
|
| --- a/tools/download_latest_dev_sdk.py
|
| +++ b/tools/download_latest_dev_sdk.py
|
| @@ -72,13 +72,13 @@ def main(argv):
|
| os.remove(remote_sha_path)
|
|
|
| if local_sha == '' or local_sha != remote_sha:
|
| - with open(local_sha_path, 'w') as fp:
|
| - fp.write(remote_sha)
|
| print 'Downloading prebuilt Dart SDK from: ' + zip_url
|
| urllib.urlretrieve(zip_url, zip_path)
|
| with zipfile.ZipFile(zip_path, 'r') as zf:
|
| for info in zf.infolist():
|
| extract_file(zf, info, sdk_path)
|
| + with open(local_sha_path, 'w') as fp:
|
| + fp.write(remote_sha)
|
|
|
| if __name__ == '__main__':
|
| sys.exit(main(sys.argv))
|
|
|