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

Merge pull request #6361 from theotherjimmy/unicode-options 

Convert option list to unicode
pull/6192/head
Cruz Monrreal 2018-03-16 11:33:38 -05:00 committed by GitHub
parent 0828727643 229a072e49
commit aa4ebf13a1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/utils.py
View File

@ -393,6 +393,8 @@ def argparse_force_type(case):
""" """
def middle(lst, type_name): def middle(lst, type_name):
""" The parser type generator""" """ The parser type generator"""
if not isinstance(lst[0], unicode):
lst = [o.decode() for o in lst]
def parse_type(string): def parse_type(string):
""" The parser type""" """ The parser type"""
if not isinstance(string, unicode): if not isinstance(string, unicode):