tree ba2fee49d5ed193fb07419c58d36505b5cdf2d74
parent baabb8171b671d6e2d1908fb61854a532dd34d38
author YoungSeok Yoon <youngseokyoon@google.com> 1454116047 -0800
committer YoungSeok Yoon <youngseokyoon@google.com> 1459542005 -0700

devtools/madb: use the nickname as the console prefix, if applicable.

When the user sets a nickname for a device with 'madb name' command,
the nickname is used as the console output prefix, instead of its
device serial.

Change-Id: Ic48b7adbc1e242d2ea43d2a7cd4ab5efa5431959