Scroll to navigation

DMYPY_RESTART(1) User Commands DMYPY_RESTART(1)

NAME

dmypy_restart - Restart a mypy daemon

DESCRIPTION

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

[FLAG [FLAG ...]]

positional arguments:

Regular mypy flags (precede with --)

optional arguments:

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