From de634576fde1032d12fc6d843719f697758aba81 Mon Sep 17 00:00:00 2001
From: "Frank.R.Wu" <wukd94@pku.edu.cn>
Date: Mon, 9 Aug 2021 21:19:43 +0800
Subject: [PATCH] feat: change title

change title with node addr
---
 js/NodePortal.js | 7 ++-----
 js/OnlineIDE.js  | 1 +
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/js/NodePortal.js b/js/NodePortal.js
index 3ef310e..6650b76 100644
--- a/js/NodePortal.js
+++ b/js/NodePortal.js
@@ -276,7 +276,7 @@ function getControlWsUrl(host) {
 function initWSocket() {
     const host = document.location.host;
     const url = getControlWsUrl(host);
-    document.title = `数瑞智能合约节点管理中心${host}`;
+    document.title = `数瑞智能合约节点管理中心（${host}）`;
     // console.log("connect ws:" + url);
     global.wssocket = createWssocket(url, function () {
         getSession();
@@ -518,7 +518,4 @@ function addNodeUnit(obj) {
     }
     option.value = obj.key;
     x.add(option, null);
-}
-
-
-
+}
\ No newline at end of file
diff --git a/js/OnlineIDE.js b/js/OnlineIDE.js
index 1df1b68..732db97 100644
--- a/js/OnlineIDE.js
+++ b/js/OnlineIDE.js
@@ -142,6 +142,7 @@ function getControlWsUrl(host) {
 function initWSocket() {
     console.log("[OnlineIDE.js] initWSocket : ");
     let host = document.location.host;
+    document.title = `数瑞智能合约在线编辑器（${host}）`
     let url = getControlWsUrl(
         global.urlparam && global.urlparam['nodeAddr'] ? global.urlparam['nodeAddr'] : host);
     // console.log("connect ws:" + url);