--- a/server/sources/native.py	Mon Sep 28 11:01:32 2009 +0200
+++ b/server/sources/native.py	Mon Sep 28 11:02:04 2009 +0200
@@ -554,7 +554,7 @@
         """
         try:
             self.indexer.cursor_unindex_object(eid, session.pool['system'])
-        except:
+        except Exception: # let KeyboardInterrupt / SystemExit propagate
             if self.indexer is not None:
                 self.exception('error while unindexing %s', eid)
 
@@ -565,7 +565,7 @@
         try:
             self.indexer.cursor_reindex_object(entity.eid, entity,
                                                session.pool['system'])
-        except:
+        except Exception: # let KeyboardInterrupt / SystemExit propagate
             if self.indexer is not None:
                 self.exception('error while reindexing %s', entity)
         # update entities.mtime