diff options
author | Wu Cheng-Han | 2016-10-10 20:26:12 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2016-10-10 20:26:12 +0800 |
commit | 7a85d62b774ed6f26d0cfd772b4adf312c85f0ce (patch) | |
tree | 0bb35a5771f768718a29816f0d03d69a4af1e361 | |
parent | 1cae0c5b7f63bd9049fbfbc891f77d1b2af3ec99 (diff) |
Remove unused code
-rw-r--r-- | public/js/index.js | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/public/js/index.js b/public/js/index.js index 03729de4..4b8ae715 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -2489,7 +2489,6 @@ socket.on('permission', function (data) { updatePermission(data.permission); }); var docmaxlength = null; -var otk = null; var owner = null; var permission = null; socket.on('refresh', function (data) { @@ -2498,7 +2497,6 @@ socket.on('refresh', function (data) { //console.log(data); docmaxlength = data.docmaxlength; editor.setOption("maxLength", docmaxlength); - otk = data.otk; owner = data.owner; updatePermission(data.permission); updateLastInfo(data); |