diff options
author | Tycho Bickerstaff <work.tycho@gmail.com> | 2013-12-22 17:11:34 +0100 |
---|---|---|
committer | Tycho Bickerstaff <work.tycho@gmail.com> | 2013-12-22 17:11:34 +0100 |
commit | 15a980a6169ff975628bf1d4ecd16168fe609bf4 (patch) | |
tree | a7bc776991e20a21206f2198d1f702a6800bec6f /src/Bindings/PluginManager.h | |
parent | removed lua makefile (diff) | |
download | cuberite-15a980a6169ff975628bf1d4ecd16168fe609bf4.tar cuberite-15a980a6169ff975628bf1d4ecd16168fe609bf4.tar.gz cuberite-15a980a6169ff975628bf1d4ecd16168fe609bf4.tar.bz2 cuberite-15a980a6169ff975628bf1d4ecd16168fe609bf4.tar.lz cuberite-15a980a6169ff975628bf1d4ecd16168fe609bf4.tar.xz cuberite-15a980a6169ff975628bf1d4ecd16168fe609bf4.tar.zst cuberite-15a980a6169ff975628bf1d4ecd16168fe609bf4.zip |
Diffstat (limited to '')
-rw-r--r-- | src/Bindings/PluginManager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Bindings/PluginManager.h b/src/Bindings/PluginManager.h index 5abb8be84..e94421057 100644 --- a/src/Bindings/PluginManager.h +++ b/src/Bindings/PluginManager.h @@ -273,7 +273,7 @@ private: bool m_bReloadPlugins; cPluginManager(); - ~cPluginManager(); + virtual ~cPluginManager(); /// Reloads all plugins, defaulting to settings.ini for settings location void ReloadPluginsNow(void); |