tests/run-tests.py
changeset 33566 97070cbf0813
parent 33565 0982d900dccb
child 33567 d9677e2ed16a
equal deleted inserted replaced
33565:0982d900dccb 33566:97070cbf0813
  1646                     raise test.failureException(
  1646                     raise test.failureException(
  1647                         'server failed to start (HGPORT=%s)' % test._startport)
  1647                         'server failed to start (HGPORT=%s)' % test._startport)
  1648                 else:
  1648                 else:
  1649                     self.stream.write('\n')
  1649                     self.stream.write('\n')
  1650                     for line in lines:
  1650                     for line in lines:
  1651                         if self.color and pygmentspresent:
  1651                         if self.color:
  1652                             line = pygments.highlight(
  1652                             line = pygments.highlight(
  1653                                     line,
  1653                                     line,
  1654                                     lexers.DiffLexer(),
  1654                                     lexers.DiffLexer(),
  1655                                     formatters.Terminal256Formatter())
  1655                                     formatters.Terminal256Formatter())
  1656                         if PYTHON3:
  1656                         if PYTHON3: