commit 93025518967f45cd546889c21314296c47e9cfe8
author Johannes Faltermeier <jfaltermeier@eclipsesource.com> Mon Nov 30 14:55:04 2015 +0100
committer Johannes Faltermeier <jfaltermeier@eclipsesource.com> Mon Dec 07 08:47:19 2015 -0500
tree 491d430ede5fc6447717c15a4912e2045b1ca7a6
parent 99ffec17ded514317a7fec9738f16e12d2fc7ea9

Bug 482918 - Server should be able to use FileBasedChangePackages

* Fix resource options extension point schema

Change-Id: If327563defee4f7a7bf0a7f6dd496f2f31f1506b
Signed-off-by: Johannes Faltermeier <jfaltermeier@eclipsesource.com>

bundles/org.eclipse.emf.emfstore.server/schema/resourceOptions.exsd

diff --git a/bundles/org.eclipse.emf.emfstore.server/schema/resourceOptions.exsd b/bundles/org.eclipse.emf.emfstore.server/schema/resourceOptions.exsd
index 5bfdc81..7dc1de0 100644
--- a/bundles/org.eclipse.emf.emfstore.server/schema/resourceOptions.exsd
+++ b/bundles/org.eclipse.emf.emfstore.server/schema/resourceOptions.exsd
@@ -63,6 +63,13 @@
                </documentation>
             </annotation>
          </attribute>
+         <attribute name="useFileBasedChangePackage" type="boolean">
+            <annotation>
+               <documentation>
+                  Whether the server should use file based change packages (true) or in-memory changepackages.
+               </documentation>
+            </annotation>
+         </attribute>
       </complexType>
    </element>