delay on initial command run
This commit is contained in:
parent
0b34446083
commit
1c2097e76b
1 changed files with 13 additions and 7 deletions
|
|
@ -804,6 +804,18 @@
|
|||
};
|
||||
|
||||
occEditor.open_terminal = function(path, command) {
|
||||
function run_command(command, delay) {
|
||||
console.log("sending command: " + command);
|
||||
setTimeout(function () {
|
||||
occEditor.send_terminal_command(command);
|
||||
}, delay);
|
||||
}
|
||||
|
||||
if (is_terminal_open) {
|
||||
run_command(command, 0);
|
||||
return;
|
||||
}
|
||||
|
||||
Terminal.applyAddon(fit);
|
||||
Terminal.applyAddon(attach);
|
||||
|
||||
|
|
@ -814,12 +826,6 @@
|
|||
|
||||
var terminalContainer = document.getElementById('editor-output');//,
|
||||
|
||||
function run_command(command) {
|
||||
console.log("sending command: " + command);
|
||||
term.send(JSON.stringify({type: "input", data: command}));
|
||||
//occEditor.send_terminal_command(command);
|
||||
}
|
||||
|
||||
// Clean terminal
|
||||
while (terminalContainer.children.length) {
|
||||
terminalContainer.removeChild(terminalContainer.children[0]);
|
||||
|
|
@ -856,7 +862,7 @@
|
|||
occEditor.show_editor_output();
|
||||
|
||||
if (command) {
|
||||
terminal_socket.onopen = run_command.bind(null, command);
|
||||
terminal_socket.onopen = run_command.bind(null, command, 1500);
|
||||
}
|
||||
});
|
||||
}, 0);
|
||||
|
|
|
|||
Loading…
Reference in a new issue