From 10d5254a7eee20b64953e28ad4db3b1ce66e7c64 Mon Sep 17 00:00:00 2001
From: yczpf2019 <yczpf2019@outlook.com>
Date: Sat, 24 Jan 2026 21:09:00 +0800
Subject: [PATCH] =?UTF-8?q?fix(websocket-arduino):=20=E5=9C=A8=20init=20?=
 =?UTF-8?q?=E4=B8=AD=E5=90=8C=E6=97=B6=E5=88=9D=E5=A7=8B=E5=8C=96=20WebCom?=
 =?UTF-8?q?piler.ArduShell?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../modules/mixly-modules/web-socket/arduino-shell.js       | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mixly/common/modules/mixly-modules/web-socket/arduino-shell.js b/mixly/common/modules/mixly-modules/web-socket/arduino-shell.js
index 2b58558c..950e051b 100644
--- a/mixly/common/modules/mixly-modules/web-socket/arduino-shell.js
+++ b/mixly/common/modules/mixly-modules/web-socket/arduino-shell.js
@@ -51,6 +51,12 @@ goog.loadJs('web', () => {
                 this.shell = new WebSocketArduShell();
                 const socket = this.socket;
 
+                // 同时初始化 WebCompiler.ArduShell，用于本地上传
+                const WebCompilerArduShell = getWebCompilerArduShell();
+                if (WebCompilerArduShell && !WebCompilerArduShell.getMixlySocket()) {
+                    WebCompilerArduShell.init(mixlySocket);
+                }
+
                 socket.on('arduino.dataEvent', (data) => {
                     if (data.length > 1000) {
                         return;