GitMonitor.vala

diff --git a/GitMonitor.vala b/GitMonitor.vala
index bdef535..67288bb 100644 (file)
--- a/GitMonitor.vala
+++ b/GitMonitor.vala
@@ -479,8 +479,10 @@ public class GitMonitor : Monitor
                        try {
                                repo.pull();
                        } catch(Error e) {
-                               failure +=  e.message;
-                               print("Pull failed:\n");
+                               this.pauseError(e.message);
+                               //failure +=  e.message;
+                               ..print("Pull failed:\n");
+                               return;
                        }