ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

arm_pack_manager - Simplify find_device

pull/2708/head
Jimmy Brisson 2016-07-05 13:50:29 -05:00 committed by Sarah Marsh
parent b840a1b58f
commit b05964abbe
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/arm_pack_manager/__init__.py
View File

@ -205,8 +205,7 @@ class Cache () :
def find_device(self, match) : def find_device(self, match) :
choices = process.extract(match, self.index.keys(), limit=len(self.index)) choices = process.extract(match, self.index.keys(), limit=len(self.index))
choices = sorted([(v, k) for k, v in choices], reverse=True) choices = sorted([(v, k) for k, v in choices], reverse=True)
if not choices : return [] if choices : choices = list(takewhile(lambda t: t[0] == choices[0][0], choices))
else : choices = list(takewhile(lambda t: t[0] == choices[0][0], choices))
return [(v, self.index[v]) for k,v in choices] return [(v, self.index[v]) for k,v in choices]
def dump_index_to_file(self, file) : def dump_index_to_file(self, file) :