diff options
Diffstat (limited to 'public')
-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); |