From e27493fa02af6df94a45f69626e497f98453dc25 Mon Sep 17 00:00:00 2001 From: lethosor Date: Sun, 24 May 2015 11:42:22 -0400 Subject: [PATCH] Treat plugins without a "plugin_dev" symbol as ordinary plugins --- library/PluginManager.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/library/PluginManager.cpp b/library/PluginManager.cpp index 6a7bf068e..e6510eacf 100644 --- a/library/PluginManager.cpp +++ b/library/PluginManager.cpp @@ -230,7 +230,6 @@ bool Plugin::load(color_ostream &con) plugin_check_symbol("plugin_self") plugin_check_symbol("plugin_init") plugin_check_symbol("plugin_globals") - plugin_check_symbol("plugin_dev") const char ** plug_name =(const char ** ) LookupPlugin(plug, "name"); const char ** plug_version =(const char ** ) LookupPlugin(plug, "version"); Plugin **plug_self = (Plugin**)LookupPlugin(plug, "plugin_self"); @@ -243,7 +242,7 @@ bool Plugin::load(color_ostream &con) return false; } bool *plug_dev = (bool*)LookupPlugin(plug, "plugin_dev"); - if (*plug_dev && getenv("DFHACK_NO_DEV_PLUGINS")) + if (plug_dev && *plug_dev && getenv("DFHACK_NO_DEV_PLUGINS")) { con.print("Skipping dev plugin: %s\n", *plug_name); plugin_abort_load;