equal
deleted
inserted
replaced
198 source = repo.get_source(uri, source_config) |
198 source = repo.get_source(uri, source_config) |
199 source.init_creating() |
199 source.init_creating() |
200 cnx.commit() |
200 cnx.commit() |
201 cnx.close() |
201 cnx.close() |
202 session.close() |
202 session.close() |
|
203 repo.shutdown() |
203 # restore initial configuration |
204 # restore initial configuration |
204 config.creating = False |
205 config.creating = False |
205 config.read_instance_schema = read_instance_schema |
206 config.read_instance_schema = read_instance_schema |
206 config.bootstrap_schema = bootstrap_schema |
207 config.bootstrap_schema = bootstrap_schema |
207 config.consider_user_state = True |
208 config.consider_user_state = True |