commit ef092ec4d3b64512e5814a13ee519397d696b628
author Eike Stepper <stepper@esc-net.de> Wed Sep 09 09:45:00 2015 +0200
committer Eike Stepper <stepper@esc-net.de> Wed Sep 09 09:45:00 2015 +0200
tree 261e4d5809c2b3bcb0ff4958439ec09401c9dc2c
parent ddd48e9d2575af146d8583bde78ffa9846231a91

[476019] Support synchronization of local user preferences with a remote service

https://bugs.eclipse.org/bugs/show_bug.cgi?id=476019

plugins/org.eclipse.oomph.setup.ui/src/org/eclipse/oomph/setup/ui/recorder/RecorderManager.java

diff --git a/plugins/org.eclipse.oomph.setup.ui/src/org/eclipse/oomph/setup/ui/recorder/RecorderManager.java b/plugins/org.eclipse.oomph.setup.ui/src/org/eclipse/oomph/setup/ui/recorder/RecorderManager.java
index a49f801..a0ab827 100644
--- a/plugins/org.eclipse.oomph.setup.ui/src/org/eclipse/oomph/setup/ui/recorder/RecorderManager.java
+++ b/plugins/org.eclipse.oomph.setup.ui/src/org/eclipse/oomph/setup/ui/recorder/RecorderManager.java
@@ -723,9 +723,13 @@
 
   /**
    * @author Eike Stepper
+   * @deprecated This opt-in mechanism won't be used for Mars.1
    */
+  @Deprecated
   private static final class Mars1
   {
+    private static final boolean ENABLED = PropertiesUtil.isProperty("oomph.setup.mars1.optin");
+
     private static final URI PROPERTIES_URI = URI.createURI("http://download.eclipse.org/oomph/epp/mars/mars1.sync.properties");
 
     private static final File PROPERTIES = SetupUIPlugin.INSTANCE.getConfigurationLocation().append("mars1.sync.properties").toFile();
@@ -742,7 +746,7 @@
 
     public static void checkAvailability()
     {
-      if (checked || available)
+      if (!ENABLED || checked || available)
       {
         return;
       }
@@ -798,7 +802,7 @@
 
     public static void offerSynchronizer()
     {
-      if (!available)
+      if (!ENABLED || !available)
       {
         return;
       }