var session = { init: function () { this._initWS(); // 定时(30 秒)保存会话内容. setInterval(function () { var request = newWideRequest(), filse = [], fileTree = [], currentId = editors.getCurrentId(), currentFile = currentId ? editors.getCurrentPath() : ""; editors.tabs.obj._$tabs.find("div").each(function () { var $it = $(this); if ($it.find("span:eq(0)").attr("title") !== config.label.start_page) { filse.push($it.find("span:eq(0)").attr("title")); } }); fileTree = tree.getOpenPaths(); request.currentFile = currentFile; // 当前编辑器 request.fileTree = fileTree; // 文件树展开状态 request.files = filse; // 编辑器打开状态 $.ajax({ type: 'POST', url: '/session/save', data: JSON.stringify(request), dataType: "json", success: function (data) { } }); }, 30000); }, restore: function () { var fileTree = config.latestSessionContent.FileTree, files = config.latestSessionContent.Files, currentFile = config.latestSessionContent.CurrentFile, id = "", nodesToOpen = []; var nodes = tree.fileTree.transformToArray(tree.fileTree.getNodes()); for (var i = 0, ii = nodes.length; i < ii; i++) { // expand tree for (var j = 0, jj = fileTree.length; j < jj; j++) { if (nodes[i].path === fileTree[j]) { tree.fileTree.expandNode(nodes[i], true, false, true); break; } } // open editors for (var k = 0, kk = files.length; k < kk; k++) { if (nodes[i].path === files[k]) { nodesToOpen.push(nodes[i]); break; } } if (nodes[i].path === currentFile) { id = nodes[i].tId; // FIXME: 上面的展开是异步进行的,所以执行到这里的时候可能还没有展开完,导致定位不了可视区域 tree.fileTree.selectNode(nodes[i]); wide.curNode = nodes[i]; } } // 处理编辑器打开顺序 for (var m = 0, mm = files.length; m < mm; m++) { for (var n = 0, nn = nodesToOpen.length; n < nn; n++) { if (nodesToOpen[n].path === files[m]) { tree.openFile(nodesToOpen[n]); break; } } } editors.tabs.setCurrent(id); }, _initWS: function () { // 用于保持会话,如果该通道断开,则服务器端会销毁会话状态,回收相关资源. var sessionWS = new ReconnectingWebSocket(config.channel.session + '/session/ws?sid=' + config.wideSessionId); sessionWS.onopen = function () { console.log('[session onopen] connected'); var dateFormat = function (time, fmt) { var date = new Date(time); var dateObj = { "M+": date.getMonth() + 1, //月份 "d+": date.getDate(), //日 "h+": date.getHours(), //小时 "m+": date.getMinutes(), //分 "s+": date.getSeconds(), //秒 "q+": Math.floor((date.getMonth() + 3) / 3), //季度 "S": date.getMilliseconds() //毫秒 }; if (/(y+)/.test(fmt)) fmt = fmt.replace(RegExp.$1, (date.getFullYear() + "").substr(4 - RegExp.$1.length)); for (var k in dateObj) if (new RegExp("(" + k + ")").test(fmt)) { fmt = fmt.replace(RegExp.$1, (RegExp.$1.length === 1) ? (dateObj[k]) : (("00" + dateObj[k]).substr(("" + dateObj[k]).length))); } return fmt; }; var data = {type: "Network", severity: "INFO", message: "Connected to server [sid=" + config.wideSessionId + "], " + dateFormat(new Date().getTime(), 'yyyy-MM-dd hh:mm:ss')}, $notification = $('.bottom-window-group .notification > table'), notificationHTML = ''; notificationHTML += '