  app.$data.show = true;
    });

    ws = new WebSocket("ws://localhost:" + getUrlParam("wsport"));
    ws.onopen = function () {
        // Web Socket 已连接上，使用 send() 方法发送数据
        console.log("Connected");
        let message = {
            type: 0, //消息类型，0代表链接操作
            message: {
                id: 1, //socket id
            }
        };
        this.send(JSON.stringify(message));
        message = { //显示flowchart
            type: 5, //消息�