Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-04 23:58:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Allow to activate plugins from the command line by specifying their

Browse source 
fully-qualified name.
This commit is contained in:
Robin Sommer 2014-07-21 16:58:10 +02:00
parent c9524757d2
commit 38c69f9cd0
4 changed files with 21 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/plugin/Manager.cc
View file

@ -146,6 +146,10 @@ bool Manager::ActivateDynamicPluginInternal(const std::string& name, bool ok_if_
return false;
}
if ( m->second == "" )
// Already activated.
return true;
std::string dir = m->second + "/";
if ( dir.empty() )
@ -283,6 +287,8 @@ void Manager::UpdateInputFiles()
for ( file_list::const_reverse_iterator i = scripts_to_load.rbegin();
i != scripts_to_load.rend(); i++ )
add_input_file_at_front((*i).c_str());
scripts_to_load.clear();
}
static bool plugin_cmp(const Plugin* a, const Plugin* b)