server/__init__.py
changeset 4766 162b2b127b15
parent 4759 af2e6c377c71
child 4831 c5aec27c1bf7
equal deleted inserted replaced
4764:ec9c20c6b9f7 4766:162b2b127b15
   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