From ed8213774bd1a9adf89a4fb80383ce7833640c8b Mon Sep 17 00:00:00 2001 From: Blacktwin Date: Thu, 24 May 2018 13:29:38 -0400 Subject: [PATCH] cleaning special characters from region, city, and friendly names. removed unused get_platform function --- maps/ips_to_maps.py | 1 + 1 file changed, 1 insertion(+) diff --git a/maps/ips_to_maps.py b/maps/ips_to_maps.py index 4ebeaa6..3365edb 100644 --- a/maps/ips_to_maps.py +++ b/maps/ips_to_maps.py @@ -369,6 +369,7 @@ def draw_map(map_type, geo_dict, filename, headless, leg_choice): mng.window.state('zoomed') plt.show() + if __name__ == '__main__': timestr = time.strftime("%Y%m%d-%H%M%S")