mypy-PyCharm-plugin icon indicating copy to clipboard operation
mypy-PyCharm-plugin copied to clipboard

Published 20 hours ago • verified publisher icon dropbox

Stop mypy daemon upon quitting and add buttons/hotkeys to restart it

Open poscat0x04 opened this issue 6 years ago • 2 comments

Right now the only way to restart mypy daemon is to do it manually in terminal. Also the daemon stays up even when exiting PyCharm. It would be nice to add functions to restart the daemon since you have to do that to load new config files.

poscat0x04 avatar Aug 26 '19 11:08 poscat0x04

Switching to dmypy run (merged recently) by default should partially address this. But it would be good to have a way to manually restart the daemon.

ilevkivskyi avatar Oct 29 '19 10:10 ilevkivskyi

(Probably we could add a button like "Issue custom command to daemon").

ilevkivskyi avatar Oct 29 '19 10:10 ilevkivskyi