string[] success = {};
- var failure = new Array<GitMonitorQueue>();
+ string[] failure = {};
var repos = new Array<GitRepo>(); //??
var done = new Array<GitMonitorQueue>();
success += repo.push();
} catch(Error e) {
- failure.append_val(e.message);
+ failure += e.message;
}
}
}
if (failure.length) {
- var failure_str = "";
- for(var ii = 0;ii < failure.length;ii++) {
- failure_str+= failure.item(ii) + "\n";
- }
+
var notification = new Notify.Notification({
summary: "Git Live ERROR!!",
- failure_str,
+ string.joinv("\n",failure),
"dialog-information"
});