Dart plugin SDK update URL fix (dartbug.com/15163).

editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdkManager.java

 /*
  * Copyright 2012 Dart project authors.
  * 
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  * 
  * http://www.eclipse.org/legal/epl-v10.html
  * 
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
  * or implied. See the License for the specific language governing permissions and limitations under
  * the License.
  */
 
 package com.google.dart.tools.core.model;
 
 import com.google.dart.engine.context.AnalysisContext;
 import com.google.dart.engine.internal.context.AnalysisContextImpl;
 import com.google.dart.engine.sdk.DirectoryBasedDartSdk;
 import com.google.dart.engine.sdk.SdkLibrary;
 import com.google.dart.engine.source.ContentCache;
 import com.google.dart.engine.source.DartUriResolver;
 import com.google.dart.engine.source.FileBasedSource;
 import com.google.dart.engine.source.Source;
 import com.google.dart.engine.source.SourceFactory;
 import com.google.dart.engine.source.UriKind;
 import com.google.dart.tools.core.DartCore;
 
+import org.eclipse.core.runtime.FileLocator;
 import org.eclipse.core.runtime.IProgressMonitor;
 import org.eclipse.core.runtime.IStatus;
 import org.eclipse.core.runtime.Platform;
 import org.eclipse.core.runtime.Status;
 import org.eclipse.core.runtime.SubMonitor;
 
 import java.io.BufferedInputStream;
 import java.io.BufferedOutputStream;
 import java.io.File;
 import java.io.FileInputStream;
+import java.io.FileNotFoundException;
 import java.io.FileOutputStream;
+import java.io.FileReader;
 import java.io.IOException;
 import java.io.InputStream;
 import java.io.OutputStream;
 import java.net.URI;
+import java.net.URISyntaxException;
+import java.net.URL;
 import java.net.URLConnection;
 import java.util.ArrayList;
 import java.util.List;
+import java.util.Properties;
 import java.util.zip.ZipEntry;
 import java.util.zip.ZipInputStream;
 
 // http://commondatastorage.googleapis.com/dart-editor-archive-integration/latest/dartsdk-macos-32.zip
 
 // TOOD(devoncarew): refactor the download/unzip/copy code into utility methods (to be
 // shared with the update code).
 
 /**
  * The clearing house for getting the current SDK and listening for SDK changes.
  * 
  * @coverage dart.tools.core.model
  */
 public class DartSdkManager {
 
-  private static final String SDK_GS_PREFIX = "http://commondatastorage.googleapis.com/dart-archive/channels/dev/release/latest/sdk/dartsdk-";
+  /**
+   * Environment variable key for user-specified update URLs.
+   */
+  public static final String UPDATE_URL_ENV_VAR = "com.dart.tools.update.core.url";
+
+  private static final String DEFAULT_UPDATE_URL = "http://dartlang.org/editor/update/channels/dev/";
 
   /**
    * A special instance of {@link com.google.dart.engine.sdk.DartSdk} representing missing SDK.
    */
   public static final com.google.dart.engine.sdk.DartSdk NO_SDK = new com.google.dart.engine.sdk.DartSdk() {
     private final SdkLibrary[] libraries = new SdkLibrary[] {};
     private final String[] uris = new String[] {DART_CORE};
     private AnalysisContext sdkContext;
     private FileBasedSource coreSource;
 
@@ skipping 252 matching lines @@
       }
     }
 
     dir.delete();
   }
 
   private File downloadFile(IProgressMonitor monitor) throws IOException {
     File tempFile = File.createTempFile(SDK_DIR_NAME, ".zip");
     tempFile.deleteOnExit();
 
-    URI downloadURI = URI.create(SDK_GS_PREFIX + getPlatformCode() + "-" + getPlatformBititude()
-        + "-release.zip");
+    URI downloadURI = URI.create(getSdkUrl());
 
     URLConnection connection = downloadURI.toURL().openConnection();
 
     int length = connection.getContentLength();
 
     FileOutputStream out = new FileOutputStream(tempFile);
 
     monitor.beginTask("Download SDK", length);
 
     copyStream(connection.getInputStream(), out, monitor, length);
 
     monitor.done();
 
     if (connection.getLastModified() != 0) {
       tempFile.setLastModified(connection.getLastModified());
     }
 
     return tempFile;
   }
 
+  private String getSdkUrl() {
+    String url = getUpdateChannelUrl();
+    if (url == null) {
+      url = DEFAULT_UPDATE_URL;
+    }
+    return url + "latest/sdk/dartsdk-" + getPlatformCode() + "-" + getPlatformBititude()
+        + "-release.zip";
+  }
+
+  private String getUpdateChannelUrl() {
+    try {
+      URL url = new URL("platform:/plugin/com.google.dart.tools.core/update.properties");
+      File file = new File(FileLocator.resolve(url).toURI());
+      if (file.exists()) {
+        Properties properties = new Properties();
+        properties.load(new FileReader(file));
+        return properties.getProperty(UPDATE_URL_ENV_VAR);
+      }
+    } catch (FileNotFoundException e) {
+      DartCore.logError(e);
+    } catch (IOException e) {
+      DartCore.logError(e);
+    } catch (URISyntaxException e) {
+      DartCore.logError(e);
+    }
+    return null;
+  }
+
   private void initSdk() {
     if (getDefaultPluginsSdkDirectory().exists()) {
       oldSdk = new DartSdk(getDefaultPluginsSdkDirectory());
     } else if (getDefaultEditorSdkDirectory().exists()) {
       oldSdk = new DartSdk(getDefaultEditorSdkDirectory());
     } else {
       oldSdk = NONE;
     }
   }
 
@@ skipping 73 matching lines @@
       initSdk();
 
       // send upgrade notifications
       notifyListeners();
     } finally {
       monitor.done();
     }
   }
 
 }