在pyminer里面做好插件后，每次必须重启才能生效。现在大家是基于git做的，重启也没有关系。但如果将来稳定版发布后，用户他想开发一个插件，他在pyminer编辑器修改代码之后，必须关掉pyminer重开，这样显然是不合理的，逼着他用其它的IDE工作。我认为插件的热更新功能是必要的。
据我所知这样的代码是可以实现热更新的，是否考虑引入这样的机制呢？

del sys.modules["myfunction"]
importlib.import_module('myfunction')