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:¶

FLAG: Regular mypy flags (precede with --)

optional arguments:¶

-h, --help: show this help message and exit
--log-file FILE: Direct daemon stdout/stderr to FILE
--timeout TIMEOUT: Server shutdown timeout (in seconds)

October 2019

dmypy_restart 0.730