Survive a disconnect

pull/85/head
Ruben Daniels 2015-04-17 20:51:41 +00:00
rodzic 81fd9d5e1c
commit 7ee0ebd31e
3 zmienionych plików z 10 dodań i 4 usunięć

Wyświetl plik

@ -66,7 +66,7 @@
"c9.ide.find.infiles": "#72582de3cd",
"c9.ide.find.replace": "#e4daf722b8",
"c9.ide.run.debug": "#638e6b00b3",
"c9.automate": "#6098a6fb56",
"c9.automate": "#b1b0cca13a",
"c9.ide.ace.emmet": "#e5f1a92ac3",
"c9.ide.ace.gotoline": "#4d1a93172c",
"c9.ide.ace.keymaps": "#43445d6306",

Wyświetl plik

@ -55,7 +55,14 @@ define(function(require, exports, module) {
var install = [];
if (loadFromDisk) {
fs.readdir("~/.c9/plugins", function(error, files){
fs.readdir("~/.c9/plugins", function handle(err, files){
if (err) {
if (err.code == "EDISCONNECT")
fs.readdir("~/.c9/plugins", handle);
console.error(err);
return;
}
files.forEach(function(f) {
if (!/^[_.]/.test(f.name))
loadOne({packageName: f.name}, false);

Wyświetl plik

@ -369,8 +369,7 @@ define(function(require, exports, module) {
*
*/
clear: function(data){
terminal.ybase = 0;
terminal.lines = terminal.lines.slice(-(terminal.ybase + terminal.rows));
terminal.clear();
},
/**
*