Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Bug 529632 - Usersession Provider Extension Point should deal with (details)
Commit 4e8b25c902a6ca82c7099491a0c574145b376360 by Johannes Faltermeier
Bug 529632 - Usersession Provider Extension Point should deal with
multiple registrations

* add priority attribute to extension point
* compare priority when parsing extension point

Change-Id: Ic1175ff1973090f55fe8fc9285cb51b355d1cca3
Signed-off-by: Johannes Faltermeier <jfaltermeier@eclipsesource.com>
The file was modified bundles/org.eclipse.emf.emfstore.common/src/org/eclipse/emf/emfstore/common/extensionpoint/ESExtensionElement.java
The file was modified bundles/org.eclipse.emf.emfstore.common/src/org/eclipse/emf/emfstore/common/extensionpoint/ESExtensionPoint.java
The file was modified bundles/org.eclipse.emf.emfstore.client/src/org/eclipse/emf/emfstore/internal/client/model/connectionmanager/SessionManager.java
The file was addedtests/org.eclipse.emf.emfstore.client.test/src/org/eclipse/emf/emfstore/internal/client/test/connectionmanager/SessionManagerTest.java
The file was modified tests/org.eclipse.emf.emfstore.client.test/META-INF/MANIFEST.MF
The file was modified tests/org.eclipse.emf.emfstore.client.test/src/org/eclipse/emf/emfstore/internal/client/test/AllTests.java
The file was modified bundles/org.eclipse.emf.emfstore.client/schema/usersessionProvider.exsd