Fetch OpenLayers from the same server as the embed page

diff --git a/public/export/embed.html b/public/export/embed.html
index bba67025572fc05642d44511f876b51032b2c5a5..43678db0382fbec905918d23b9cb6a64c8abee32 100644 (file)
--- a/public/export/embed.html
+++ b/public/export/embed.html
@@ -20,8 +20,8 @@
             bottom: 3px!important;
         }
     </style>
-    <script src="http://openstreetmap.org/openlayers/OpenLayers.js" type="text/javascript"></script>
-    <script src="http://openstreetmap.org/openlayers/OpenStreetMap.js" type="text/javascript"></script>
+    <script src="/openlayers/OpenLayers.js" type="text/javascript"></script>
+    <script src="/openlayers/OpenStreetMap.js" type="text/javascript"></script>
     <script type="text/javascript">
     <!--
         var map, layer;