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

GH-10: Serial monitor should spare WS connection.

Browse Source 
Closes #10.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2021-02-15 13:43:13 +01:00
committed by Akos Kitta
parent f34f594653
commit ad2cfc8894
5 changed files with 54 additions and 44 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -20,7 +20,8 @@ export const MonitorService = Symbol('MonitorService');
export interface MonitorService extends JsonRpcServer<MonitorServiceClient> {
connect(config: MonitorConfig): Promise<Status>;
disconnect(): Promise<Status>;
send(data: string | Uint8Array): Promise<Status>;
send(message: string): Promise<Status>;
request(): Promise<{ message: string }>;
}
export interface MonitorConfig {
@@ -51,14 +52,9 @@ export namespace MonitorConfig {
export const MonitorServiceClient = Symbol('MonitorServiceClient');
export interface MonitorServiceClient {
notifyRead(event: MonitorReadEvent): void;
notifyError(event: MonitorError): void;
}
export interface MonitorReadEvent {
readonly data: string;
}
export interface MonitorError {
readonly message: string;
/**