From 318641674fdef643dfb50333adfa575c10963dc0 Mon Sep 17 00:00:00 2001
From: Alan Knowles <alan@roojs.com>
Date: Mon, 14 Aug 2017 11:30:13 +0800
Subject: [PATCH] GitMonitor.vala

---
 GitMonitor.vala | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/GitMonitor.vala b/GitMonitor.vala
index bdef5358..67288bbc 100644
--- 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;
 			}
 			
 			
-- 
2.39.2