server/repository.py
branchstable
changeset 2963 12ad88615a12
parent 2961 6d833a440575
child 2967 e7d348134006
--- a/server/repository.py	Fri Aug 21 15:04:35 2009 +0200
+++ b/server/repository.py	Fri Aug 21 15:05:50 2009 +0200
@@ -240,8 +240,9 @@
         source_config['uri'] = uri
         return get_source(source_config, self.schema, self)
 
-    def set_schema(self, schema, resetvreg=True):
-        schema.rebuild_infered_relations()
+    def set_schema(self, schema, resetvreg=True, rebuildinfered=True):
+        if rebuildinfered:
+            schema.rebuild_infered_relations()
         self.info('set schema %s %#x', schema.name, id(schema))
         self.debug(', '.join(sorted(str(e) for e in schema.entities())))
         self.querier.set_schema(schema)