From 1ce4774db7e5d14eb1dfc1a862634c5931461dc4 Mon Sep 17 00:00:00 2001
From: Stefano Rivera <stefanor@ubuntu.com>
Date: Sun, 6 Mar 2011 01:12:24 +0200
Subject: [PATCH] Make that 'User abort.'

---
 pull-debian-debdiff | 2 +-
 pull-debian-source  | 2 +-
 pull-lp-source      | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/pull-debian-debdiff b/pull-debian-debdiff
index ab844d7..601cb99 100755
--- a/pull-debian-debdiff
+++ b/pull-debian-debdiff
@@ -109,4 +109,4 @@ if __name__ == '__main__':
     try:
         main()
     except KeyboardInterrupt:
-        Logger.normal('Aborting at user request')
+        Logger.normal('User abort.')
diff --git a/pull-debian-source b/pull-debian-source
index 3c28812..ab2a69b 100755
--- a/pull-debian-source
+++ b/pull-debian-source
@@ -87,4 +87,4 @@ if __name__ == '__main__':
     try:
         main()
     except KeyboardInterrupt:
-        Logger.normal('Aborting at user request')
+        Logger.normal('User abort.')
diff --git a/pull-lp-source b/pull-lp-source
index 77e5191..30a17c5 100755
--- a/pull-lp-source
+++ b/pull-lp-source
@@ -104,4 +104,4 @@ if __name__ == '__main__':
     try:
         main()
     except KeyboardInterrupt:
-        Logger.normal('Aborting at user request')
+        Logger.normal('User abort.')