2014-08-22 10:06:47 +04:00
|
|
|
var outputWS = new WebSocket(config.channel.output + '/output/ws');
|
2014-08-18 17:45:43 +04:00
|
|
|
outputWS.onopen = function() {
|
|
|
|
console.log('[output onopen] connected');
|
|
|
|
};
|
2014-08-22 11:37:26 +04:00
|
|
|
|
2014-08-18 17:45:43 +04:00
|
|
|
outputWS.onmessage = function(e) {
|
|
|
|
console.log('[output onmessage]' + e.data);
|
|
|
|
var data = JSON.parse(e.data);
|
2014-08-29 13:24:08 +04:00
|
|
|
|
2014-08-22 11:37:26 +04:00
|
|
|
if ('run' === data.cmd) {
|
2014-09-03 13:23:42 +04:00
|
|
|
$('#output').text($('#output').text() + data.output);
|
2014-08-29 13:24:08 +04:00
|
|
|
} else if ('build' === data.cmd) {
|
2014-09-03 13:23:42 +04:00
|
|
|
$('#output').text(data.output);
|
2014-08-29 13:24:08 +04:00
|
|
|
|
|
|
|
if (0 !== data.output.length) { // 说明编译有错误输出
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if ('build' === data.cmd) {
|
|
|
|
if ('run' === data.nextCmd) {
|
|
|
|
var request = {
|
|
|
|
"executable": data.executable
|
|
|
|
};
|
|
|
|
|
|
|
|
$.ajax({
|
|
|
|
type: 'POST',
|
|
|
|
url: '/run',
|
|
|
|
data: JSON.stringify(request),
|
|
|
|
dataType: "json",
|
|
|
|
beforeSend: function(data) {
|
2014-09-03 13:23:42 +04:00
|
|
|
$('#output').text('');
|
2014-08-29 13:24:08 +04:00
|
|
|
},
|
|
|
|
success: function(data) {
|
|
|
|
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
2014-08-22 11:37:26 +04:00
|
|
|
}
|
2014-08-18 17:45:43 +04:00
|
|
|
};
|
|
|
|
outputWS.onclose = function(e) {
|
|
|
|
console.log('[output onclose] disconnected (' + e.code + ')');
|
|
|
|
delete outputWS;
|
|
|
|
};
|
|
|
|
outputWS.onerror = function(e) {
|
|
|
|
console.log('[output onerror] ' + e);
|
|
|
|
};
|
|
|
|
|
|
|
|
var shellWS = new WebSocket(config.channel.shell + '/shell/ws');
|
|
|
|
shellWS.onopen = function() {
|
|
|
|
console.log('[shell onopen] connected');
|
|
|
|
};
|
|
|
|
shellWS.onmessage = function(e) {
|
|
|
|
console.log('[shell onmessage]' + e.data);
|
|
|
|
var data = JSON.parse(e.data);
|
|
|
|
if ('init-shell' !== data.cmd) {
|
|
|
|
$('#shellOutput').val(data.output);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
shellWS.onclose = function(e) {
|
|
|
|
console.log('[shell onclose] disconnected (' + e.code + ')');
|
|
|
|
delete shellWS;
|
|
|
|
};
|
|
|
|
shellWS.onerror = function(e) {
|
|
|
|
console.log('[shell onerror] ' + e);
|
|
|
|
};
|
|
|
|
|
|
|
|
var wide = {
|
2014-08-29 13:24:08 +04:00
|
|
|
curNode: undefined,
|
|
|
|
curEditor: undefined,
|
2014-09-02 14:09:01 +04:00
|
|
|
_initLayout: function () {
|
2014-09-02 18:57:30 +04:00
|
|
|
var mainH = $(window).height() - $(".menu").height() - $(".footer").height() - 2;
|
2014-09-02 14:09:01 +04:00
|
|
|
$(".content, .ztree").height(mainH);
|
|
|
|
|
|
|
|
$(".edit-panel").height(mainH - $(".output").height());
|
|
|
|
},
|
2014-08-18 17:45:43 +04:00
|
|
|
init: function() {
|
2014-09-02 14:09:01 +04:00
|
|
|
this._initLayout();
|
2014-08-18 17:45:43 +04:00
|
|
|
$('#shellInput').keydown(function(event) {
|
|
|
|
if (13 === event.which) {
|
|
|
|
var input = {
|
|
|
|
cmd: $('#shellInput').val()
|
|
|
|
};
|
|
|
|
shellWS.send(JSON.stringify(input));
|
|
|
|
$('#shellInput').val('');
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
$("body").bind("mousedown", function(event) {
|
|
|
|
if (!(event.target.id === "dirRMenu" || $(event.target).closest("#dirRMenu").length > 0)) {
|
|
|
|
$("#dirRMenu").hide();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!(event.target.id === "fileRMenu" || $(event.target).closest("#fileRMenu").length > 0)) {
|
|
|
|
$("#fileRMenu").hide();
|
|
|
|
}
|
|
|
|
});
|
|
|
|
},
|
|
|
|
save: function() {
|
|
|
|
var request = {
|
2014-08-19 13:07:35 +04:00
|
|
|
"file": wide.curNode.path,
|
|
|
|
"code": wide.curEditor.getValue()
|
2014-08-18 17:45:43 +04:00
|
|
|
};
|
|
|
|
$.ajax({
|
|
|
|
type: 'POST',
|
2014-08-22 06:09:48 +04:00
|
|
|
url: '/file/save',
|
2014-08-18 17:45:43 +04:00
|
|
|
data: JSON.stringify(request),
|
|
|
|
dataType: "json",
|
|
|
|
success: function(data) {
|
|
|
|
console.log(data);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
},
|
|
|
|
run: function() {
|
|
|
|
var request = {
|
2014-08-19 13:07:35 +04:00
|
|
|
"file": wide.curNode.path,
|
|
|
|
"code": wide.curEditor.getValue()
|
2014-08-18 17:45:43 +04:00
|
|
|
};
|
2014-08-29 13:24:08 +04:00
|
|
|
|
2014-08-18 17:45:43 +04:00
|
|
|
$.ajax({
|
|
|
|
type: 'POST',
|
2014-08-22 07:57:05 +04:00
|
|
|
url: '/build',
|
2014-08-18 17:45:43 +04:00
|
|
|
data: JSON.stringify(request),
|
|
|
|
dataType: "json",
|
|
|
|
beforeSend: function(data) {
|
2014-09-03 13:23:42 +04:00
|
|
|
$('#output').text('');
|
2014-08-18 17:45:43 +04:00
|
|
|
},
|
|
|
|
success: function(data) {
|
2014-08-29 13:24:08 +04:00
|
|
|
executable = data.executable;
|
2014-08-22 07:57:05 +04:00
|
|
|
|
|
|
|
if (data.succ) {
|
2014-08-29 13:24:08 +04:00
|
|
|
|
|
|
|
}
|
2014-08-18 17:45:43 +04:00
|
|
|
}
|
|
|
|
});
|
|
|
|
},
|
|
|
|
fmt: function() {
|
|
|
|
var request = {
|
2014-08-19 13:07:35 +04:00
|
|
|
"file": wide.curNode.path,
|
|
|
|
"code": wide.curEditor.getValue(),
|
|
|
|
"cursorLine": wide.curEditor.getCursor().line,
|
|
|
|
"cursorCh": wide.curEditor.getCursor().ch
|
2014-08-18 17:45:43 +04:00
|
|
|
};
|
|
|
|
$.ajax({
|
|
|
|
type: 'POST',
|
|
|
|
url: '/fmt',
|
|
|
|
data: JSON.stringify(request),
|
|
|
|
dataType: "json",
|
|
|
|
success: function(data) {
|
|
|
|
if (data.succ) {
|
2014-08-19 13:07:35 +04:00
|
|
|
wide.curEditor.setValue(data.code);
|
2014-08-18 17:45:43 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
$(document).ready(function() {
|
|
|
|
wide.init();
|
|
|
|
tree.init();
|
|
|
|
});
|