GUI2 - OSRM hosting by
KIT - Geocoder by
OSM
diff --git a/WebContent/main.js b/WebContent/main.js
index 313c5a39e..94f69826d 100644
--- a/WebContent/main.js
+++ b/WebContent/main.js
@@ -23,12 +23,17 @@ or see http://www.gnu.org/licenses/agpl.txt.
OSRM.init = function() {
OSRM.prefetchImages();
OSRM.prefetchIcons();
+ OSRM.prefetchCSSIcons();
- OSRM.Localization.init();
OSRM.GUI.init();
OSRM.Map.init();
OSRM.Printing.init();
OSRM.Routing.init();
+ OSRM.Localization.init();
+
+ // stop if in maintenance mode
+ if( OSRM.inMaintenance() == true )
+ return;
// check if the URL contains some GET parameter, e.g. for showing a route
OSRM.parseParameters();
@@ -42,7 +47,7 @@ OSRM.init = function() {
// prefetch images
OSRM.GLOBALS.images = {};
OSRM.prefetchImages = function() {
- var image_list = [ {id:'marker-shadow', url:L.RELATIVE_ROOT_URL + 'images/marker-shadow.png'},
+ var image_list = [ {id:'marker-shadow', url:'leaflet/images/marker-shadow.png'},
{id:'marker-source', url:'images/marker-source.png'},
{id:'marker-target', url:'images/marker-target.png'},
{id:'marker-via', url:'images/marker-via.png'},
@@ -58,6 +63,12 @@ OSRM.prefetchImages = function() {
{id:'restore', url:'images/restore.png'},
{id:'restore_active', url:'images/restore_active.png'},
{id:'restore_hover', url:'images/restore_hover.png'},
+ {id:'config', url:'images/config.png'},
+ {id:'config_active', url:'images/config_active.png'},
+ {id:'config_hover', url:'images/config_hover.png'},
+ {id:'mapping', url:'images/mapping.png'},
+ {id:'mapping_active', url:'images/mapping_active.png'},
+ {id:'mapping_hover', url:'images/mapping_hover.png'},
{id:'printer', url:'images/printer.png'},
{id:'printer_active', url:'images/printer_active.png'},
{id:'printer_hover', url:'images/printer_hover.png'},
@@ -73,7 +84,9 @@ OSRM.prefetchImages = function() {
{id:'direction_8', url:'images/sharp-left.png'},
{id:'direction_10', url:'images/head.png'},
{id:'direction_11', url:'images/round-about.png'},
- {id:'direction_15', url:'images/target.png'}
+ {id:'direction_15', url:'images/target.png'},
+ {id:'osrm-logo', url:'images/osrm-logo.png'},
+ {id:'selector', url:'images/selector.png'}
];
for(var i=0; i