Clean GPU names in dashboard and remove stale servers from DB

app/app.py

@@ -197,6 +197,12 @@ def collect_all():
 
     # Update database (all in main collector thread)
     with app.app_context():
+        # Remove servers no longer in config
+        config_keys = {(e['username'], e['hostname']) for e in entries}
+        for server in Server.query.all():
+            if (server.username, server.hostname) not in config_keys:
+                db.session.delete(server)
+
         for key, (entry, result) in results.items():
             server = Server.query.filter_by(
                 username=entry['username'],
@@ -363,6 +369,32 @@ def temp_color(temp_c):
     return '#22c55e'
 
 
+@app.template_filter('clean_gpu')
+def clean_gpu(description):
+    if not description:
+        return '-'
+    s = str(description)
+    # Strip PCI address prefix (e.g. "01:00.0 ")
+    import re
+    s = re.sub(r'^[0-9a-f:.]+\s+', '', s, flags=re.IGNORECASE)
+    # Strip type prefix
+    for prefix in ['VGA compatible controller: ', '3D controller: ', 'Display controller: ']:
+        if s.startswith(prefix):
+            s = s[len(prefix):]
+    # Strip common vendor prefixes
+    for vendor in ['NVIDIA Corporation ', 'Advanced Micro Devices, Inc. ', 'AMD ', 'Intel Corporation ',
+                   'Advanced Micro Devices Inc. ', 'Matrox Electronics Systems Ltd. ']:
+        if s.startswith(vendor):
+            s = s[len(vendor):]
+    # Strip revision suffix
+    s = re.sub(r'\s*\(rev [0-9a-f]+\)\s*$', '', s, flags=re.IGNORECASE)
+    # Prefer bracketed name if present (e.g. "GA106 [GeForce RTX 3060]" -> "GeForce RTX 3060")
+    bracket = re.search(r'\[(.+)\]', s)
+    if bracket:
+        s = bracket.group(1)
+    return s.strip()
+
+
 @app.template_filter('usage_color')
 def usage_color(percent):
     try: