# HG changeset patch # User cannam # Date 1214300138 0 # Node ID 58f4d399a85dd07b2f08d9ed71265ff848998258 # Parent 573114586df19f8eacc59046c1eb7d56e162d868 * bail if nonexistent library specified diff -r 573114586df1 -r 58f4d399a85d rdf/generator/template-generator.cpp --- a/rdf/generator/template-generator.cpp Mon Jun 23 16:15:24 2008 +0000 +++ b/rdf/generator/template-generator.cpp Tue Jun 24 09:35:38 2008 +0000 @@ -385,6 +385,12 @@ } plugins.push_back(plugin); } + + if (plugins.empty()) { + cerr << "ERROR: Plugin library \"" << mylibname << "\" does not exist, could not be opened, or contains no plugins" << endl; + exit(1); + } + } else { // pluginName is a plugin Plugin *plugin = loader->loadPlugin(pluginName, size_t(44100));