From ef4dfab3cc9a3f578e02d6e890243cebedc4da98 Mon Sep 17 00:00:00 2001 From: Veetaha Date: Mon, 24 Feb 2020 11:56:52 +0200 Subject: Quick fix circular json error when sanity-check fails Related issue: #3280 --- editors/code/src/installation/server.ts | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'editors') diff --git a/editors/code/src/installation/server.ts b/editors/code/src/installation/server.ts index 685abfdc6..5afce4101 100644 --- a/editors/code/src/installation/server.ts +++ b/editors/code/src/installation/server.ts @@ -88,9 +88,12 @@ async function downloadServer(source: BinarySource.GithubRelease): Promise