diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/sdks/agl/db-dump | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/scripts/sdks/agl/db-dump b/scripts/sdks/agl/db-dump index e7538d7..2fcd4c4 100755 --- a/scripts/sdks/agl/db-dump +++ b/scripts/sdks/agl/db-dump @@ -19,6 +19,7 @@ # **************************************************************************/ import os +import sys import json import logging import inspect @@ -129,6 +130,18 @@ for one_sdk in INSTALLED_SDK: if sdk['profile'] == PROFILE and sdk['version'] == VERSION and sdk['arch'] == ARCH: if sdk['status'] == 'Installed': continue + # Additional verification based on url used to generate UUID (see also same logic in add script) + if sdk['url'] != '': + try: + ps = subprocess.Popen(('echo', sdk['url']), stdout=subprocess.PIPE) + uuid_md5 = subprocess.check_output(('md5sum'), stdin=ps.stdout) + ps.wait() + if str(uuid_md5).split(' ')[0][2:] != UUID: + continue + except: + e = sys.exc_info()[0] + logging.error("Error while checking UUID: " % e) + found = True sdk['status'] = 'Installed' sdk['date'] = SDK_DATE |