diff options
author | Robin Gareus <robin@gareus.org> | 2019-08-20 04:15:01 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2019-08-20 04:15:01 +0200 |
commit | 73d0b6894a01654b8c17cb51a907c28f95542d10 (patch) | |
tree | 2ed05d912c4826844470ef9aa8987be9c872e0f8 /libs/ardour/plugin_manager.cc | |
parent | bb27d10fd4c0c64b1ef1778ba647b641efade523 (diff) |
Skip invalid plugin-tag spec
Diffstat (limited to 'libs/ardour/plugin_manager.cc')
-rw-r--r-- | libs/ardour/plugin_manager.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/ardour/plugin_manager.cc b/libs/ardour/plugin_manager.cc index 0dfd73e272..39ddf6a1cd 100644 --- a/libs/ardour/plugin_manager.cc +++ b/libs/ardour/plugin_manager.cc @@ -1626,6 +1626,7 @@ PluginManager::load_tags () !(*i)->get_property (X_("id"), id) || !(*i)->get_property (X_("tags"), tags) || !(*i)->get_property (X_("name"), name)) { + continue; } if (!(*i)->get_property (X_("user-set"), user_set)) { user_set = false; |