tree 98302f0e8b546bede829723129c92cd206f022f4
parent d2bf42e901228cfbe2350abb067b2c989a145395
author Chris Liechti <cliechti@gmx.net> 1500497997 +0200
committer Chris Liechti <cliechti@gmx.net> 1500497997 +0200

miniterm: workaround for non ASCII port descriptions

printing the list of ports may fail with UnicodeEncodeError.
workaround using repr.

fixes #237