verteilen-core 1.2.19 → 1.2.21

package/dist/server/detail.js

@@ -191,21 +191,25 @@ class ServerDetail {
     };
     shell_open = (socket, uuid) => {
         this.websocket_manager.shell_open(uuid);
-        if (this.shellBind.has(uuid)) {
-            this.shellBind.get(uuid).push(this.feedback.socket);
-        }
-        else {
-            this.shellBind.set(uuid, [this.feedback.socket]);
+        if (this.feedback.socket) {
+            if (this.shellBind.has(uuid)) {
+                this.shellBind.get(uuid).push(this.feedback.socket);
+            }
+            else {
+                this.shellBind.set(uuid, [this.feedback.socket]);
+            }
         }
     };
     shell_close = (socket, uuid) => {
         this.websocket_manager.shell_close(uuid);
-        if (this.shellBind.has(uuid)) {
-            const p = this.shellBind.get(uuid);
-            const index = p.findIndex(x => x == this.feedback.socket);
-            if (index != -1)
-                p.splice(index, 1);
-            this.shellBind.set(uuid, p);
+        if (this.feedback.socket) {
+            if (this.shellBind.has(uuid)) {
+                const p = this.shellBind.get(uuid);
+                const index = p.findIndex(x => x == this.feedback.socket);
+                if (index != -1)
+                    p.splice(index, 1);
+                this.shellBind.set(uuid, p);
+            }
         }
     };
     shell_folder = (socket, uuid, path) => {
@@ -213,33 +217,33 @@ class ServerDetail {
     };
     node_list = (socket) => {
         const p = this.websocket_manager?.targets;
-        if (socket != undefined) {
+        if (this.feedback.socket != undefined) {
             const h = {
                 name: "node_list-feedback",
                 data: this.websocket_manager?.targets
             };
-            socket.send(JSON.stringify(h));
+            this.feedback.socket(JSON.stringify(h));
         }
         return p;
     };
     node_add = (socket, url, id) => {
         const p = this.websocket_manager.server_start(url, id);
-        if (socket != undefined) {
+        if (this.feedback.socket != undefined) {
             const h = {
                 name: "node_add-feedback",
                 data: p
             };
-            socket.send(JSON.stringify(h));
+            this.feedback.socket(JSON.stringify(h));
         }
     };
     node_update = (socket) => {
         const p = this.websocket_manager?.server_update();
-        if (socket != undefined) {
+        if (this.feedback.socket != undefined) {
             const h = {
                 name: "node_update-feedback",
                 data: [p]
             };
-            socket.send(JSON.stringify(h));
+            this.feedback.socket(JSON.stringify(h));
         }
         return p;
     };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "verteilen-core",
-  "version": "1.2.19",
+  "version": "1.2.21",
   "license": "MIT",
   "homepage": "https://verteilen.github.io/wiki/",
   "author": "Elly",

package/src/server/detail.ts

@@ -278,19 +278,23 @@ export class ServerDetail {
     }
     shell_open = (socket:any, uuid: string) => {
         this.websocket_manager!.shell_open(uuid)
-        if(this.shellBind.has(uuid)){
-            this.shellBind.get(uuid).push(this.feedback.socket)
-        }else{
-            this.shellBind.set(uuid, [this.feedback.socket])
+        if(this.feedback.socket){
+            if(this.shellBind.has(uuid)){
+                this.shellBind.get(uuid).push(this.feedback.socket)
+            }else{
+                this.shellBind.set(uuid, [this.feedback.socket])
+            }
         }
     }
     shell_close = (socket:any, uuid: string) => {
         this.websocket_manager!.shell_close(uuid)
-        if(this.shellBind.has(uuid)){
-            const p:Array<any> = this.shellBind.get(uuid)
-            const index = p.findIndex(x => x == this.feedback.socket)
-            if(index != -1) p.splice(index, 1)
-            this.shellBind.set(uuid, p)
+        if(this.feedback.socket){
+            if(this.shellBind.has(uuid)){
+                const p:Array<any> = this.shellBind.get(uuid)
+                const index = p.findIndex(x => x == this.feedback.socket)
+                if(index != -1) p.splice(index, 1)
+                this.shellBind.set(uuid, p)
+            }
         }
     }
     shell_folder = (socket:any, uuid: string, path:string) => {
@@ -299,33 +303,33 @@ export class ServerDetail {
 
     node_list = (socket:any) => {
         const p = this.websocket_manager?.targets
-        if(socket != undefined){
+        if(this.feedback.socket != undefined){
             const h:Header = {
                 name: "node_list-feedback",
                 data: this.websocket_manager?.targets
             }
-            socket.send(JSON.stringify(h))   
+            this.feedback.socket(JSON.stringify(h))   
         }
         return p
     }
     node_add = (socket:any, url:string, id:string) => {
         const p = this.websocket_manager!.server_start(url, id)
-        if(socket != undefined){
+        if(this.feedback.socket != undefined){
             const h:Header = {
                 name: "node_add-feedback",
                 data: p
             }
-            socket.send(JSON.stringify(h))
+            this.feedback.socket(JSON.stringify(h))
         }
     }
     node_update = (socket:any) => {
         const p = this.websocket_manager?.server_update()
-        if(socket != undefined){
+        if(this.feedback.socket != undefined){
             const h:Header = {
                 name: "node_update-feedback",
                 data: [p]
             }
-            socket.send(JSON.stringify(h))
+            this.feedback.socket(JSON.stringify(h))
         }
         return p
     }