cubicweb/server/serverctl.py
changeset 11190 9b3a4ceff06a
parent 11126 9bacaf91afbc
child 11345 27b98f3cceae
--- a/cubicweb/server/serverctl.py	Wed Jul 09 16:33:08 2014 +0200
+++ b/cubicweb/server/serverctl.py	Mon Mar 07 17:51:30 2016 +0100
@@ -1043,6 +1043,7 @@
         appid = args.pop(0)
         diff_tool = args.pop(0)
         config = ServerConfiguration.config_for(appid)
+        config.repairing = True
         repo = repoapi.get_repository(config=config)
         fsschema = config.load_schema(expand_cubes=True)
         schema_diff(fsschema, repo.schema, permissionshandler, diff_tool, ignore=('eid',))