--- a/server/repository.py	Fri Apr 04 17:32:12 2014 +0200
+++ b/server/repository.py	Thu Mar 20 08:45:52 2014 +0100
@@ -282,8 +282,14 @@
         clear_cache(self, 'source_defs')
 
     def add_source(self, sourceent):
-        source = self.get_source(sourceent.type, sourceent.name,
-                                 sourceent.host_config, sourceent.eid)
+        try:
+            source = self.get_source(sourceent.type, sourceent.name,
+                                     sourceent.host_config, sourceent.eid)
+        except RuntimeError:
+            if self.config.repairing:
+                self.exception('cant setup source %s, skipped', sourceent.name)
+                return
+            raise
         self.sources_by_eid[sourceent.eid] = source
         self.sources_by_uri[sourceent.name] = source
         if self.config.source_enabled(source):