From 06aa0c48cde1bee5ddf2c9f59695a8d1f563b5f9 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@klayout.de>
Date: Sun, 19 Oct 2025 18:00:43 +0200
Subject: [PATCH] Commit local changes before merge

---
 src/lay/lay/layLibraryController.cc | 7 +++++++
 1 file changed, 7 insertions(+)

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<bool, db::lib_id_type> 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 (...) {
       }
     }