MrUnknownDE/panel
1
0
Fork 0
mirror of https://github.com/MrUnknownDE/panel.git synced 2026-04-20 07:13:45 +02:00
Code Issues Packages Projects Releases Wiki Activity

Implement basic support for connecting to wings console via websocket rather than socketio

Browse Source
This commit is contained in:
Dane Everitt
2019-05-01 20:12:20 -07:00
parent 0757d8856b
commit e87c5f6657
12 changed files with 122 additions and 117 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
resources/assets/scripts/mixins/socketio/index.ts
View File

@@ -34,10 +34,7 @@ export const Socketio: ComponentOptions<Vue> = {
},
methods: {
/**
* @return {SocketioConnector}
*/
'$socket': function () {
'$socket': function (): SocketioConnector | null {
return connector;
},
@@ -49,7 +46,7 @@ export const Socketio: ComponentOptions<Vue> = {
return;
}
const instance: SocketIOClient.Socket | null = connector.instance();
const instance = connector.instance();
if (instance) {
instance.close();
}