diff options
Diffstat (limited to 'resources/tools/presentation/input_data_files.py')
| -rw-r--r-- | resources/tools/presentation/input_data_files.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/resources/tools/presentation/input_data_files.py b/resources/tools/presentation/input_data_files.py index 441a240d79..0a723cedc7 100644 --- a/resources/tools/presentation/input_data_files.py +++ b/resources/tools/presentation/input_data_files.py @@ -86,6 +86,7 @@ def _download_file(url, file_name, log, arch=False): return session success = False + session = None try: log.append(("INFO", " Connecting to '{0}' ...".format(url))) session = requests_retry_session() |