diff options
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Repository.java')
-rw-r--r-- | plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Repository.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Repository.java b/plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Repository.java index 7169123563..9d2a6a5cb6 100644 --- a/plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Repository.java +++ b/plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Repository.java @@ -283,6 +283,11 @@ public class Repository extends Container<IRepositoryElement> implements IReposi typeManager.setPersistent(!store.hasEfficientTypeLookup()); typeManager.activate(); packageManager.activate(); + if (store.hasCrashed()) + { + store.repairAfterCrash(); + } + sessionManager.activate(); resourceManager.activate(); revisionManager.activate(); |