util: Add ini string as tooltip info in dot output
authorAndreas Hansson <andreas.hansson@arm.com>
Wed, 4 Sep 2013 17:23:00 +0000 (13:23 -0400)
committerAndreas Hansson <andreas.hansson@arm.com>
Wed, 4 Sep 2013 17:23:00 +0000 (13:23 -0400)
commit3b90f52b6155e038089c8816beb8498cacdf9f9e
treeedffde11c9a3cde0aa7127a39a502c0591d32cfe
parentfad36b35c6dc1bfe7406ba15f578b964423a0460
util: Add ini string as tooltip info in dot output

This patch adds the config ini string as a tooltip that can be
displayed in most browsers rendering the resulting svg. Certain
characters are modified for HTML output.

Tested on chrome and firefox.
src/python/m5/util/dot_writer.py