10000 Notify client on all dmypy crashes (#7593) · python/mypy@583b99e · GitHub
[go: up one dir, main page]

Skip to content

Commit 583b99e

Browse files
authored
Notify client on all dmypy crashes (#7593)
This is done by setting the raise_exceptions option, which will cause the exception to continue to be propagated. Closes #4804. Tested by introducing a crash in the parser and verifying the message came through.
1 parent fb81e19 commit 583b99e

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

mypy/dmypy_server.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -175,6 +175,7 @@ def __init__(self, options: Options,
175175

176176
self.fscache = FileSystemCache()
177177

178+
options.raise_exceptions = True
178179
options.incremental = True
179180
options.fine_grained_incremental = True
180181
options.show_traceback = True

0 commit comments

Comments
 (0)
0