From 040cb0c9ddef5e8982c403d64533c7782d1bad83 Mon Sep 17 00:00:00 2001 From: Guy Harris Date: Sat, 20 Jun 2020 20:58:52 -0700 Subject: tools/generate-sysdig-event.py: fail if the URL fetch fails. Call exit_msg(), not just print(). Change-Id: I3ca59b262285222e5f54045244b6eeaa31fa363e Reviewed-on: https://code.wireshark.org/review/37530 Petri-Dish: Guy Harris Tested-by: Petri Dish Buildbot Reviewed-by: Guy Harris --- tools/generate-sysdig-event.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'tools/generate-sysdig-event.py') diff --git a/tools/generate-sysdig-event.py b/tools/generate-sysdig-event.py index 66cafb4d51..bd2b95dd26 100755 --- a/tools/generate-sysdig-event.py +++ b/tools/generate-sysdig-event.py @@ -42,13 +42,13 @@ def get_url_lines(url): lines = response.read().decode().splitlines() response.close() except urllib.error.HTTPError as err: - print("HTTP error fetching {0}: {1}".format(url, err.reason)) + exit_msg("HTTP error fetching {0}: {1}".format(url, err.reason)) except urllib.error.URLError as err: - print("URL error fetching {0}: {1}".format(url, err.reason)) + exit_msg("URL error fetching {0}: {1}".format(url, err.reason)) except OSError as err: - print("OS error fetching {0}".format(url, err.strerror)) + exit_msg("OS error fetching {0}".format(url, err.strerror)) except: - print("Unexpected error:", sys.exc_info()[0]) + exit_msg("Unexpected error:", sys.exc_info()[0]) return lines -- cgit v1.2.3