902133edd3
- 8 DB models (services, incidents, monitors, subscribers, etc.) - Full CRUD API for services, incidents, monitors - Public status page with live data - Incident detail page with timeline - API key authentication - Uptime monitoring scheduler - 13 tests passing - TECHNICAL_DESIGN.md with full spec
50 lines
1.5 KiB
Python
50 lines
1.5 KiB
Python
"""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)
|
|
except Exception as e:
|
|
# Try reporting any uncaught error canonically, otherwise just flush the traceback.
|
|
try:
|
|
import mypy.errors
|
|
|
|
_, options = process_options(args=sys.argv[1:])
|
|
mypy.errors.report_internal_error(e, None, 0, None, options)
|
|
except Exception:
|
|
pass
|
|
sys.stdout.write(traceback.format_exc())
|
|
sys.stdout.flush()
|
|
sys.stderr.flush()
|
|
sys.exit(2)
|
|
|
|
|
|
if __name__ == "__main__":
|
|
console_entry()
|