We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent da719d6 commit e97263bCopy full SHA for e97263b
mypy/dmypy.py
@@ -173,12 +173,16 @@ def do_restart(args: argparse.Namespace) -> None:
173
174
def restart_server(args: argparse.Namespace, allow_sources: bool = False) -> None:
175
"""Restart daemon (it may or may not be running; but not hanging)."""
176
+ with open(STATUS_FILE) as file:
177
+ before = file.read()
178
try:
179
do_stop(args)
180
except BadStatus:
181
# Bad or missing status file or dead process; good to start.
182
pass
183
start_server(args, allow_sources)
184
185
+ print(f"before:{before} after:{file.read()}", file=sys.stderr)
186
187
188
def start_server(args: argparse.Namespace, allow_sources: bool = False) -> None:
0 commit comments