jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-10 02:48:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add monitor proxy functions for the frontend

Browse Source
This commit is contained in:
Silvano Cerza
2022-03-07 14:45:48 +01:00
committed by Alberto Iannaccone
parent c5695d3a76
commit 61b8bdeec9
4 changed files with 109 additions and 51 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
arduino-ide-extension/src/common/protocol/monitor-service.ts
View File

@@ -4,8 +4,10 @@ import { Board, Port } from './boards-service';
export const MonitorManagerProxyPath = '/services/monitor-manager-proxy';
export const MonitorManagerProxy = Symbol('MonitorManagerProxy');
export interface MonitorManagerProxy extends JsonRpcServer<MonitorManagerProxyClient> {
//set the monitor settings, which includes address, port and other monitor-specific settings
setMonitorSettings(board: Board, port: Port, settings: MonitorSettings): Promise<void>;
startMonitor(board: Board, port: Port, settings?: MonitorSettings): Promise<void>;
changeMonitorSettings(board: Board, port: Port, settings: MonitorSettings): Promise<void>;
stopMonitor(board: Board, port: Port): Promise<void>;
getSupportedSettings(protocol: string, fqbn: string): Promise<MonitorSettings>;
}
export const MonitorManagerProxyClient = Symbol('MonitorManagerProxyClient');