The "help->Toggle Developer Tools option shows me these errors for the Raspberry Pi Extension:
I can see from this that it seems the "server aborted" my connection or request for some unknown reason!
Cheers,
Norm.
Code:
workbench.desktop.main.js:sourcemap:518 [Extension Host] [INFO] [raspberry-pi-pico - examplesUtil] Successfully downloaded examples list from the internet.workbench.desktop.main.js:sourcemap:518 [Extension Host] [INFO] [raspberry-pi-pico - NewProjectPanel] Loaded 134 examples.workbench.desktop.main.js:sourcemap:518 [Extension Host] [INFO] [raspberry-pi-pico - download] SDK 2.1.1 is already installed.workbench.desktop.main.js:sourcemap:35 ERR [Extension Host] [[31mERROR[0m] [raspberry-pi-pico - download] Downloading or extracting Toolchain failed: The server aborted pending requesterror @ workbench.desktop.main.js:sourcemap:35workbench.desktop.main.js:sourcemap:518 [Extension Host] [ERROR] [raspberry-pi-pico - download] Downloading or extracting Toolchain failed: The server aborted pending requestTds @ workbench.desktop.main.js:sourcemap:518workbench.desktop.main.js:sourcemap:35 ERR [Extension Host] [[31mERROR[0m] [raspberry-pi-pico - NewProjectPanel] Failed to download and install toolchain.error @ workbench.desktop.main.js:sourcemap:35workbench.desktop.main.js:sourcemap:518 [Extension Host] [ERROR] [raspberry-pi-pico - NewProjectPanel] Failed to download and install toolchain.Tds @ workbench.desktop.main.js:sourcemap:518workbench.desktop.main.js:sourcemap:3357 Failed to download and install toolchain.Cheers,
Norm.
Statistics: Posted by NormanDunbar — Fri Aug 01, 2025 2:53 pm