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 | |
| parent | bb27d10fd4c0c64b1ef1778ba647b641efade523 (diff) | |
Skip invalid plugin-tag spec
| -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; |