Update after pyright message translation tweak

microbit-foundation · Nov 13, 2023 · 02b8530 · 02b8530
1 parent 9701353
commit 02b8530
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/public/workers/pyright-locale-372-0169930372300256482e.worker.js b/public/workers/pyright-locale-372-0169930372300256482e.worker.js
diff --git a/public/workers/pyright-locale-372-10923792ec92d9be48e3.worker.js b/public/workers/pyright-locale-372-10923792ec92d9be48e3.worker.js
diff --git a/...right-main-8d89bff7a80da04790e7.worker.js → ...right-main-cefd1af91b1a0be3bcfc.worker.js b/...right-main-8d89bff7a80da04790e7.worker.js → ...right-main-cefd1af91b1a0be3bcfc.worker.js
diff --git a/...d89bff7a80da04790e7.worker.js.LICENSE.txt → ...efd1af91b1a0be3bcfc.worker.js.LICENSE.txt b/...d89bff7a80da04790e7.worker.js.LICENSE.txt → ...efd1af91b1a0be3bcfc.worker.js.LICENSE.txt
diff --git a/...t-main-8d89bff7a80da04790e7.worker.js.map → ...t-main-cefd1af91b1a0be3bcfc.worker.js.map b/...t-main-8d89bff7a80da04790e7.worker.js.map → ...t-main-cefd1af91b1a0be3bcfc.worker.js.map
diff --git a/src/language-server/pyright.ts b/src/language-server/pyright.ts
@@ -12,7 +12,7 @@ import { baseUrl } from "../base";
 import { createUri, LanguageServerClient } from "./client";
 
 // This is modified by bin/update-pyright.sh
-const workerScriptName = "pyright-main-8d89bff7a80da04790e7.worker.js";
+const workerScriptName = "pyright-main-cefd1af91b1a0be3bcfc.worker.js";
 
 /**
  * Creates Pyright workers and corresponding client.