void delete_plugins () {
discovered = False;
started = False;
interfaceTable.clear ();
HashTableHandleIterator it;
PluginStruct *ps (0);
while (pluginTable.get_prev (it, ps)) { ps->delete_plugin (); }
it.reset ();
ps = 0;
while (pluginTable.get_prev (it, ps)) { ps->unload_plugin (); }
pluginTable.empty ();
externTable.clear ();
if (levelsHead) { delete levelsHead; levelsHead = 0; }
levelsTail = 0;
maxLevel = 1;
}
