From f0bae098106cc2f7dcd103f472e1562cdc829620 Mon Sep 17 00:00:00 2001 From: Jacek Kowalski <Jacek@jacekk.info> Date: Tue, 18 Dec 2018 09:55:15 +0000 Subject: [PATCH] Use a webservice to gather vehicle numbers and types --- map.js | 13 +++++++++---- 1 files changed, 9 insertions(+), 4 deletions(-) diff --git a/map.js b/map.js index ee37cd9..3b0cde2 100644 --- a/map.js +++ b/map.js @@ -7,6 +7,7 @@ var vehicles_last_update = 0; var vehicles_source = null; var vehicles_layer = null; +var vehicles_info = {}; var stops_xhr = null; var stops_source = null; @@ -68,13 +69,13 @@ var color_type = 'black'; if(vehicle.get('vehicle_type')) { switch(vehicle.get('vehicle_type').low) { - case 0: + case '0': color_type = 'orange'; break; - case 1: + case '1': color_type = 'blue'; break; - case 2: + case '2': color_type = 'green'; break; } @@ -427,6 +428,8 @@ additional = document.createElement('p'); if(span.title) { setText(additional, span.title); + } else { + setText(additional, feature.getId()); } additional.insertBefore(span, additional.firstChild); @@ -716,7 +719,7 @@ fail_element.addEventListener('click', function() { fail_element.style.top = '-10em'; }); - + // Change mouse cursor when over marker map.on('pointermove', function(e) { var hit = map.hasFeatureAtPixel(e.pixel); @@ -729,6 +732,8 @@ stop_points_layer.setVisible(map.getView().getZoom() >= 16); }); + updateVehicleInfo() + $.when( updateVehicles(), updateStops(), -- Gitblit v1.9.1