mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-05-17 10:28:41 +00:00

* get daemon port from CLI stdout * config-service to use CLI daemon port * updating LS * fixed tests * fix upload blocked when selectedBoard.port is undefined * bump arduino-cli to 0.20.2 Co-authored-by: Alberto Iannaccone <a.iannaccone@arduino.cc>
7 lines
213 B
TypeScript
7 lines
213 B
TypeScript
export const ArduinoDaemonPath = '/services/arduino-daemon';
|
|
export const ArduinoDaemon = Symbol('ArduinoDaemon');
|
|
export interface ArduinoDaemon {
|
|
isRunning(): Promise<boolean>;
|
|
getPort(): Promise<string>;
|
|
}
|