diff --git a/src/lay/lay/layLibraryController.cc b/src/lay/lay/layLibraryController.cc index f8a5b32f9..a1187a5ef 100644 --- a/src/lay/lay/layLibraryController.cc +++ b/src/lay/lay/layLibraryController.cc @@ -320,8 +320,15 @@ LibraryController::sync_files () try { std::pair li = db::LibraryManager::instance ().lib_by_name (lf->second.name, lf->second.tech); if (li.first) { + if (! lf->second.tech.empty ()) { + tl::log << "Unregistering lib '" << lf->second.name << "' for technology '" << *lf->second.tech.begin () << "' as the file no longer exists: " << lf->first; + } else { + tl::log << "Unregistering lib '" << lf->second.name << "' as the file no longer exists: " << lf->first; + } db::LibraryManager::instance ().delete_lib (db::LibraryManager::instance ().lib (li.second)); } + } catch (tl::Exception &ex) { + tl::error << ex.msg (); } catch (...) { } }