From 71e1a0214f1f822171b6ba3c1ebdfd075023e8cc Mon Sep 17 00:00:00 2001
From: Johan Thelin <e8johan@gmail.com>
Date: Tue, 15 Jan 2019 09:24:29 +0100
Subject: [PATCH] Trying to serve OSM tiles over https

---
 2019/community-day.html | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/2019/community-day.html b/2019/community-day.html
index 87a0766..2819bad 100644
--- a/2019/community-day.html
+++ b/2019/community-day.html
@@ -131,7 +131,15 @@
     </div><script src="js/OpenLayers.js"></script>
 <script>
     map = new OpenLayers.Map("mapdiv");
-    map.addLayer(new OpenLayers.Layer.OSM());
+    map.addLayer(new OpenLayers.Layer.OSM(
+        "OpenStreetMap", 
+        // Official OSM tileset as protocol-independent URLs
+        [
+            '//a.tile.openstreetmap.org/${z}/${x}/${y}.png',
+            '//b.tile.openstreetmap.org/${z}/${x}/${y}.png',
+            '//c.tile.openstreetmap.org/${z}/${x}/${y}.png'
+        ], 
+        null)));
     
     var markers = new OpenLayers.Layer.Markers( "Markers" );
     map.addLayer(markers);