diff --git a/frontends/src/jp/output_std.py b/frontends/src/jp/output_std.py index 6f058859..4efde431 100644 --- a/frontends/src/jp/output_std.py +++ b/frontends/src/jp/output_std.py @@ -20,6 +20,7 @@ from sat_frontends.jp.constants import Const as C +from sat.tools.common.ansi import ANSI as A import json __outputs__ = ["Simple", "Json"] @@ -45,8 +46,16 @@ class Simple(object): self.host.disp(u'\n'.join(data)) def dict(self, data): - for k, v in data: - self.host.disp((u'{key}: {value}'.format(key=k, value=v))) + options = self.host.parse_output_options() + self.host.check_output_options({u'no-header'}, options) + show_header = not u'no-header' in options + for k, v in data.iteritems(): + if show_header: + header = A.color(A.BOLD, A.FG_YELLOW, k) + u': ' + else: + header = u'' + + self.host.disp((u'{header}{value}'.format(header=header, value=v))) class Json(object):