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

dropbox / mypy-PyCharm-plugin

A simple plugin that allows running mypy from PyCharm and navigate between errors

Apache License 2.0

314 stars 14 forks source link

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

Open poscat0x04 opened 5 years ago

poscat0x04 commented 5 years ago

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.

ilevkivskyi commented 4 years ago

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 commented 4 years ago

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