mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-29 14:16:39 +00:00
WebSocketProvider is not injectable anymore
This commit is contained in:
parent
bf958fd8cf
commit
cbd5b4de1b
@ -1,9 +1,7 @@
|
||||
import { Emitter } from '@theia/core';
|
||||
import { injectable } from 'inversify';
|
||||
import * as WebSocket from 'ws';
|
||||
import { WebSocketProvider } from './web-socket-provider';
|
||||
|
||||
@injectable()
|
||||
export default class WebSocketProviderImpl implements WebSocketProvider {
|
||||
protected wsClients: WebSocket[];
|
||||
protected server: WebSocket.Server;
|
||||
|
Loading…
x
Reference in New Issue
Block a user