File tree Expand file tree Collapse file tree 2 files changed +8
-1
lines changed
Expand file tree Collapse file tree 2 files changed +8
-1
lines changed Original file line number Diff line number Diff line change @@ -909,7 +909,7 @@ async def websocket_console(websocket: WebSocket):
909909 state .active_websockets .append (websocket )
910910 # Replay history
911911 try :
912- history = state .log_history [- 200 :]
912+ history = list ( state .log_history ) [- 200 :]
913913 if history :
914914 await websocket .send_json ({"type" : "batch" , "items" : history })
915915 except Exception as e :
Original file line number Diff line number Diff line change @@ -466,6 +466,13 @@ def _get_start_command(self):
466466
467467 custom_env = os .environ .copy ()
468468 custom_env ["PYTHONIOENCODING" ] = "utf-8"
469+ # Inyectar propiedades de Java globalmente para que run.bat/run.sh también las usen
470+ java_tools = (
471+ "-Djline.terminal=jline.UnsupportedTerminal -Dorg.jline.terminal.dumb=true"
472+ )
473+ existing_tools = custom_env .get ("JAVA_TOOL_OPTIONS" , "" )
474+ custom_env ["JAVA_TOOL_OPTIONS" ] = f"{ java_tools } { existing_tools } " .strip ()
475+
469476 if java_path != "java" :
470477 # Extract installation root (assuming path/to/java-21/bin/java.exe)
471478 java_bin_dir = os .path .dirname (java_path )
You can’t perform that action at this time.
0 commit comments