diff options
author | Veetaha <[email protected]> | 2020-02-09 13:01:00 +0000 |
---|---|---|
committer | Veetaha <[email protected]> | 2020-02-09 13:01:00 +0000 |
commit | 7cba77ed4e4207b2e24b8dd57723368c2717bb2a (patch) | |
tree | 7f61ae16e22607d28b916345e8a87533ed2b467d /editors/code/src/installation/fetch_latest_artifact_metadata.ts | |
parent | f3240e22c6de69b408a83b59e85f40fb913acfab (diff) |
vscode: added logging when donloading binaries
Diffstat (limited to 'editors/code/src/installation/fetch_latest_artifact_metadata.ts')
-rw-r--r-- | editors/code/src/installation/fetch_latest_artifact_metadata.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editors/code/src/installation/fetch_latest_artifact_metadata.ts b/editors/code/src/installation/fetch_latest_artifact_metadata.ts index 9141c92ef..7e3700603 100644 --- a/editors/code/src/installation/fetch_latest_artifact_metadata.ts +++ b/editors/code/src/installation/fetch_latest_artifact_metadata.ts | |||
@@ -19,6 +19,8 @@ export async function fetchLatestArtifactMetadata( | |||
19 | 19 | ||
20 | // We skip runtime type checks for simplicity (here we cast from `any` to `GithubRelease`) | 20 | // We skip runtime type checks for simplicity (here we cast from `any` to `GithubRelease`) |
21 | 21 | ||
22 | console.log("Issuing request for released artifacts metadata to", requestUrl); | ||
23 | |||
22 | const response: GithubRelease = await fetch(requestUrl, { | 24 | const response: GithubRelease = await fetch(requestUrl, { |
23 | headers: { Accept: "application/vnd.github.v3+json" } | 25 | headers: { Accept: "application/vnd.github.v3+json" } |
24 | }) | 26 | }) |