//try {
statusicon.set_tooltip_text("pull: " + repo.name);
var str = "";
- repo.pull_async.begin((obj, res) => {
+ repo.pull_async.begin((obj, syncres) => {
+
+ var res = fetch_webpage.end(syncres);
total--;`
if (!Regex.match_simple ("Already up-to-date", str) ) {