From b470addbdbc536f1da04e004282ba73d15f78ae1 Mon Sep 17 00:00:00 2001 From: Jacek Kowalski <Jacek@jacekk.info> Date: Fri, 13 Mar 2020 20:18:47 +0000 Subject: [PATCH] Test high DPI tiles --- stops/download_stops.php | 30 +++++++++++++++++++++--------- 1 files changed, 21 insertions(+), 9 deletions(-) diff --git a/stops/download_stops.php b/stops/download_stops.php index f0aef8a..4c689b6 100644 --- a/stops/download_stops.php +++ b/stops/download_stops.php @@ -1,18 +1,30 @@ <?php if(php_sapi_name() !== 'cli') die(); -$json = file_get_contents('http://www.ttss.krakow.pl/internetservice/geoserviceDispatcher/services/stopinfo/stops?left=-648000000&bottom=-324000000&right=648000000&top=324000000'); -$elements = json_decode($json, 1); -foreach($elements['stops'] as $element) { - if($element['category'] == 'other') continue; - $stops[$element['shortName']] = $element['name']; +function fetchStops($url) { + $json = file_get_contents($url); + $elements = json_decode($json, 1); + $stops = []; + foreach($elements['stops'] as $element) { + if($element['category'] == 'other') continue; + $stops[$element['shortName']] = $element['name']; + } + asort($stops); + return $stops; } -asort($stops); +function printStops($stops, $prefix) { + foreach($stops as $id => $stop) { + echo ' \''.$prefix.str_pad($id."'", 5, ' ', STR_PAD_RIGHT).' => '.var_export($stop, TRUE).','."\n"; + } +} + +$stops_tram = fetchStops('http://www.ttss.krakow.pl/internetservice/geoserviceDispatcher/services/stopinfo/stops?left=-648000000&bottom=-324000000&right=648000000&top=324000000'); +$stops_bus = fetchStops('http://91.223.13.70/internetservice/geoserviceDispatcher/services/stopinfo/stops?left=-648000000&bottom=-324000000&right=648000000&top=324000000'); echo '<?php'."\n"; echo '$stops = array ('."\n"; -foreach($stops as $id => $stop) { - echo ' '.str_pad($id, 4, ' ', STR_PAD_RIGHT).' => '.var_export($stop, TRUE).','."\n"; -} +printStops($stops_tram, 't'); +echo "\n"; +printStops($stops_bus, 'b'); echo ');'."\n"; -- Gitblit v1.9.1