diff options
| author | George Hazan <ghazan@miranda.im> | 2018-07-29 22:16:29 +0300 |
|---|---|---|
| committer | George Hazan <ghazan@miranda.im> | 2018-07-29 22:16:29 +0300 |
| commit | 2a0f820b2c70a57073cafff090a8ba52b46679ea (patch) | |
| tree | 21b2309d12fa0ecc404b9a59273bc947b0523634 /src/mir_app | |
| parent | 99ed0336d306f1e5c0752f4060fb6952dd7a89b0 (diff) | |
unloaded plugin should be removed from servicePlugins too
Diffstat (limited to 'src/mir_app')
| -rw-r--r-- | src/mir_app/src/newplugins.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mir_app/src/newplugins.cpp b/src/mir_app/src/newplugins.cpp index 0eee4d52c2..b90f79d727 100644 --- a/src/mir_app/src/newplugins.cpp +++ b/src/mir_app/src/newplugins.cpp @@ -250,6 +250,7 @@ void Plugin_Uninit(pluginEntry *p) if (p == plugin_crshdmp)
plugin_crshdmp = nullptr;
+ servicePlugins.remove(p);
pluginList.remove(p);
mir_free(p);
}
|