From 940304c0da23f6d90b427ac092fce072dffc73cd Mon Sep 17 00:00:00 2001 From: Alessandro Di Federico Date: Tue, 24 Oct 2023 10:50:32 +0200 Subject: [PATCH] fetch_debuginfo: use HTTPS for msdl.microsoft.com --- python/revng/cli/_commands/fetch_debuginfo/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/revng/cli/_commands/fetch_debuginfo/__init__.py b/python/revng/cli/_commands/fetch_debuginfo/__init__.py index f5b0c2232..46a4613fb 100644 --- a/python/revng/cli/_commands/fetch_debuginfo/__init__.py +++ b/python/revng/cli/_commands/fetch_debuginfo/__init__.py @@ -16,7 +16,7 @@ from .elf import fetch_dwarf from .pe import fetch_pdb default_elf_debug_server = "https://debuginfod.elfutils.org/" -microsoft_symbol_server_url = "http://msdl.microsoft.com/download/symbols/" +microsoft_symbol_server_url = "https://msdl.microsoft.com/download/symbols/" def log_success(file_path):