| 12345678910111213141516171819202122232425262728293031323334353637 |
- """Mypy type checker command line tool."""
- from __future__ import annotations
- import os
- import sys
- import traceback
- from mypy.main import main, process_options
- from mypy.util import FancyFormatter
- def console_entry() -> None:
- try:
- main()
- sys.stdout.flush()
- sys.stderr.flush()
- except BrokenPipeError:
- # Python flushes standard streams on exit; redirect remaining output
- # to devnull to avoid another BrokenPipeError at shutdown
- devnull = os.open(os.devnull, os.O_WRONLY)
- os.dup2(devnull, sys.stdout.fileno())
- sys.exit(2)
- except KeyboardInterrupt:
- _, options = process_options(args=sys.argv[1:])
- if options.show_traceback:
- sys.stdout.write(traceback.format_exc())
- formatter = FancyFormatter(sys.stdout, sys.stderr, False)
- msg = "Interrupted\n"
- sys.stdout.write(formatter.style(msg, color="red", bold=True))
- sys.stdout.flush()
- sys.stderr.flush()
- sys.exit(2)
- if __name__ == "__main__":
- console_entry()
|
