fix(nginx): fix nginx config;

Author: maslow

packages/system-client/nginx.conf

@@ -40,30 +40,16 @@ server {
       if ($host ~* "(\w{8}(-\w{4}){3}-\w{12})\.(.+)$") {
          set $appid $1;
          set $service_id app_$appid;
-         proxy_pass http://$service_id:8000;
-         add_header appid $appid;
-         # proxy_set_header Host $host:$server_port;
-         # proxy_set_header Host $host;
-         # proxy_http_version 1.1;
-         # proxy_set_header Upgrade $http_upgrade;
-         # proxy_set_header Connection "upgrade";
-         # proxy_read_timeout 6000s;
       }
-   }
 
-   location /socket {
-      resolver 127.0.0.11;
-      if ($host ~* "(\w{8}(-\w{4}){3}-\w{12})\.(.+)$") {
-         set $appid $1;
-         set $service_id app_$appid;
-         proxy_pass http://$service_id:8000/;
-         # add_header appid $appid;
-      }
+      proxy_pass http://$service_id:8000;
+      add_header appid $appid;
+      proxy_read_timeout 600s;
+
       proxy_set_header Host $host;
       proxy_http_version 1.1;
       proxy_set_header Upgrade $http_upgrade;
       proxy_set_header Connection "upgrade";
-      proxy_read_timeout 6000s;
    }
 
    location /deploy/incoming {

packages/system-client/src/components/FunctionEditor/types/websocket_type.js

@@ -1,7 +1,5 @@
 
-
 export const websocket_type = `
-
 // WebSocket socket.
 declare class WebSocket extends EventEmitter {
     /** The connection is not yet open. */
@@ -145,4 +143,4 @@ declare class WebSocket extends EventEmitter {
     ): this;
     removeListener(event: string | symbol, listener: (...args: any[]) => void): this;
 }
-`
+`