mypy
7b83c354 - Colorize daemon output and add summary line (#7441)

Commit
6 years ago
Colorize daemon output and add summary line (#7441) Fixes https://github.com/python/mypy/issues/7438 This PR makes the daemon behave the same way as the normal run (i.e. use colorized output and write a summary line). I also fix a minor bug that the summary line was colorized even if `--no-color-output` was passed. The idea is quite simple, client passes to the server info about whether we are in tty and if yes server returns nicely formatted output. I tried running various commands on Linux and piping it through `grep`.
Author
Parents
Loading