From da479908e74fc4904e68a9670c6af953dea8cc0d Mon Sep 17 00:00:00 2001
From: Daniel Cheng <sdiz@sdiz.net>
Date: Wed, 15 Oct 2014 01:11:51 +0800
Subject: [PATCH] Fix HTTPS server name for stamen source (Close: #2830)

---
 src/ol/source/stamensource.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/ol/source/stamensource.js b/src/ol/source/stamensource.js
index 7e7c15e5c8..78d0279126 100644
--- a/src/ol/source/stamensource.js
+++ b/src/ol/source/stamensource.js
@@ -97,9 +97,10 @@ ol.source.Stamen = function(options) {
   goog.asserts.assert(options.layer in ol.source.StamenLayerConfig);
   var layerConfig = ol.source.StamenLayerConfig[options.layer];
 
-  var protocol = ol.IS_HTTPS ? 'https:' : 'http:';
+  var root = ol.IS_HTTPS ? 'https://stamen-tiles-{a-d}.a.ssl.fastly.net/' :
+      'http://{a-d}.tile.stamen.com/';
   var url = goog.isDef(options.url) ? options.url :
-      protocol + '//{a-d}.tile.stamen.com/' + options.layer + '/{z}/{x}/{y}.' +
+      root + options.layer + '/{z}/{x}/{y}.' +
       layerConfig.extension;
 
   goog.base(this, {