DOKK / manpages / debian 10 / mypy / dmypy-restart.1.en
DMYPY_RESTART(1) User Commands DMYPY_RESTART(1)

dmypy_restart - Restart a mypy daemon

usage: dmypy.py restart [-h] [--log-file FILE] [--timeout TIMEOUT]

[FLAG [FLAG ...]]

Regular mypy flags (precede with --)

show this help message and exit
Direct daemon stdout/stderr to FILE
Server shutdown timeout (in seconds)
February 2019 dmypy_restart 0.670