tree 28ac5b8b19bb173a74beab6fd1c6ebd95c1928b6
parent 83c5b83b76110703b8d01d70a2b5b26ab4d923bf
author Simon Hunt <simon@onlab.us> 1445383791 -0700
committer Simon Hunt <simon@onlab.us> 1445383927 -0700

GUI Topo -- added NodeBadge field to NodeHighlight.
 - updated TopoJson to include device badge in JSON output.

Change-Id: I7fc0ec226c378a0395cd1eec765cb7bc867f9100