From 39d66d86e6a9344c005a67d0f59c51e933680001 Mon Sep 17 00:00:00 2001
From: Sven Augustin <sven.augustin@psi.ch>
Date: Sat, 6 Feb 2021 18:33:08 +0000
Subject: [PATCH] handle delete scripts

---
 modman/modman.py | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/modman/modman.py b/modman/modman.py
index e8f8b7a..b8a3556 100644
--- a/modman/modman.py
+++ b/modman/modman.py
@@ -14,6 +14,7 @@ class ModuleManager:
 
 
     def update(self):
+        current_names = set()
         for fn in self.fnames:
             name = fn.stem
             mtime = fn.stat().st_mtime
@@ -22,6 +23,7 @@ class ModuleManager:
             if name in self.mtimes:
                 if self.mtimes[name] == mtime:
                     print(f"{name} unchanged... will not reload")
+                    current_names.add(name)
                     continue
                 else:
                     print(f"{name} changed... reloading")
@@ -41,6 +43,13 @@ class ModuleManager:
                 continue
 
             self.modules[name] = func
+            current_names.add(name)
+
+        deleted_names = self.modules.keys() - current_names
+        for n in deleted_names:
+            print(f"delete cached {n}")
+            self.modules.pop(n, None)
+            self.mtimes.pop(n, None)
 
 
     @property