diff -r 48b26bfd6f02 -r 06bced8edddf server/sources/native.py
--- a/server/sources/native.py	Sat Sep 26 11:44:35 2009 +0200
+++ b/server/sources/native.py	Mon Sep 28 12:37:01 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